diff -r e4662afb3483 -r fa2dc6c6c94f src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Sat Jun 15 16:55:49 2013 +0200
+++ b/src/Doc/antiquote_setup.ML	Sat Jun 15 21:01:07 2013 +0200
@@ -19,6 +19,8 @@
 val clean_string = translate
   (fn "_" => "\\_"
     | "#" => "\\#"
+    | "$" => "\\$"
+    | "%" => "\\%"
     | "<" => "$<$"
     | ">" => "$>$"
     | "{" => "\\{"