src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Wed Jan 11 15:00:06 2023 +0100
+++ b/src/Pure/PIDE/markup.scala	Thu Jan 12 16:01:49 2023 +0100
@@ -362,6 +362,9 @@
   val Latex_Delim = new Markup_String("latex_delim", NAME)
   val Latex_Tag = new Markup_String("latex_tag", NAME)
 
+  val Latex_Cite = new Markup_Elem("latex_cite")
+  val Cite_Location = new Properties.String("cite_location")
+
   val Latex_Index_Item = new Markup_Elem("latex_index_item")
   val Latex_Index_Entry = new Markup_String("latex_index_entry", KIND)