diff -r 546e1e591635 -r 466fae6bf22e src/Pure/Tools/rail.ML
--- a/src/Pure/Tools/rail.ML	Tue May 25 21:44:01 2021 +0200
+++ b/src/Pure/Tools/rail.ML	Tue May 25 22:28:39 2021 +0200
@@ -341,7 +341,7 @@
   let
     val output_antiq =
       Antiquote.Antiq #>
-      Document_Antiquotation.evaluate (single o Latex.symbols) ctxt #>
+      Document_Antiquotation.evaluate Latex.symbols ctxt #>
       Latex.output_text;
     fun output_text b s =
       Output.output s