--- 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 "_" => "\\_"
| "#" => "\\#"
+ | "$" => "\\$"
+ | "%" => "\\%"
| "<" => "$<$"
| ">" => "$>$"
| "{" => "\\{"