diff -r 45ca4006a37f -r 61e26527480e src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Thu Apr 11 14:22:52 2019 +0200
+++ b/src/Doc/antiquote_setup.ML	Thu Apr 11 15:44:06 2019 +0200
@@ -126,7 +126,7 @@
       map (fn (thm, name) =>
         Output.output
           (Document_Antiquotation.format ctxt
-            (Document_Antiquotation.quote ctxt (Thy_Output.pretty_thm ctxt thm))) ^
+            (Document_Antiquotation.delimit ctxt (Thy_Output.pretty_thm ctxt thm))) ^
         enclose "\\rulename{" "}" (Output.output name))
       #> space_implode "\\par\\smallskip%\n"
       #> Latex.string #> single