src/Pure/PIDE/markup.ML

   val ML_openN: string
   val ML_structN: string
   val ML_typingN: string val ML_typing: T
   val ML_sourceN: string val ML_source: T
   val document_sourceN: string val document_source: T
-  val antiqN: string val antiq: T
+  val antiquotedN: string val antiquoted: T
+  val antiquoteN: string val antiquote: T
   val ML_antiquotationN: string
   val document_antiquotationN: string
   val document_antiquotation_optionN: string
   val paragraphN: string val paragraph: T
   val text_foldN: string val text_fold: T

 (* embedded source text *)
 
 val (ML_sourceN, ML_source) = markup_elem "ML_source";
 val (document_sourceN, document_source) = markup_elem "document_source";
 
-val (antiqN, antiq) = markup_elem "antiq";
+val (antiquotedN, antiquoted) = markup_elem "antiquoted";
+val (antiquoteN, antiquote) = markup_elem "antiquote";
+
 val ML_antiquotationN = "ML_antiquotation";
 val document_antiquotationN = "document_antiquotation";
 val document_antiquotation_optionN = "document_antiquotation_option";