src/Pure/Thy/thy_output.ML

       |> maps output_symbols_antiq
   | (SOME Comment.Comment, _) =>
       let
         val body = Symbol_Pos.cartouche_content syms;
         val source = Input.source true (Symbol_Pos.implode body) (Symbol_Pos.range body);
+        val ctxt' = ctxt
+          |> Config.put Document_Antiquotation.thy_output_display false;
       in
-        output_text ctxt {markdown = false} source
+        output_text ctxt' {markdown = false} source
         |> Latex.enclose_body "%\n\\isamarkupcmt{" "%\n}"
       end
   | (SOME Comment.Cancel, _) =>
       output_symbols (Symbol_Pos.cartouche_content syms)
       |> Latex.enclose_body "%\n\\isamarkupcancel{" "}"