src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Tue May 25 21:44:01 2021 +0200
+++ b/src/Pure/PIDE/markup.scala	Tue May 25 22:28:39 2021 +0200
@@ -356,6 +356,8 @@
       }
   }
 
+  val DOCUMENT_LATEX = "document_latex"
+
 
   /* Markdown document structure */