diff -r 15a8de807f21 -r 98ecb951d911 src/Pure/PIDE/markup.scala
--- a/src/Pure/PIDE/markup.scala	Sun Nov 29 17:54:50 2020 +0100
+++ b/src/Pure/PIDE/markup.scala	Sun Nov 29 17:57:20 2020 +0100
@@ -380,6 +380,8 @@
   val CARTOUCHE = "cartouche"
   val COMMENT = "comment"
 
+  val LOAD_COMMAND = "load_command"
+
 
   /* comments */