src/Pure/Tools/rail.ML

--- a/src/Pure/Tools/rail.ML	Sat Feb 03 15:34:22 2018 +0100
+++ b/src/Pure/Tools/rail.ML	Sat Feb 03 20:34:26 2018 +0100
@@ -340,7 +340,9 @@
 fun output_rules ctxt rules =
   let
     val output_antiq =
-      Latex.output_text o Document_Antiquotation.evaluate ctxt o Antiquote.Antiq;
+      Antiquote.Antiq #>
+      Document_Antiquotation.evaluate (single o Latex.symbols) ctxt #>
+      Latex.output_text;
     fun output_text b s =
       Output.output s
       |> b ? enclose "\\isakeyword{" "}"