src/Pure/Thy/latex.ML

--- a/src/Pure/Thy/latex.ML	Fri Jan 17 20:51:36 2014 +0100
+++ b/src/Pure/Thy/latex.ML	Sat Jan 18 19:15:12 2014 +0100
@@ -125,6 +125,8 @@
         val ants = Antiquote.read (Symbol_Pos.explode (txt, pos), pos);
         val out = implode (map output_syms_antiq ants);
       in enclose "{\\isacharverbatimopen}" "{\\isacharverbatimclose}" out end
+    else if Token.is_kind Token.Cartouche tok then
+      enclose "{\\isacartoucheopen}" "{\\isacartoucheclose}" (output_syms s)
     else output_syms s
   end;