--- a/src/Pure/pure_syn.ML	Sun Dec 05 12:50:36 2021 +0100
+++ b/src/Pure/pure_syn.ML	Sun Dec 05 15:54:46 2021 +0100
@@ -43,7 +43,7 @@
   Outer_Syntax.command ("text_raw", \<^here>) "LaTeX text (without surrounding environment)"
     (Parse.opt_target -- Parse.document_source >>
       Document_Output.document_output
-        {markdown = true, markup = Latex.enclose_text "%\n" "\n"});
+        {markdown = true, markup = XML.enclose "%\n" "\n"});
 
 val _ =
   Outer_Syntax.command ("theory", \<^here>) "begin theory"