Quick patch for dollar-sign as dollar or backslash-dollar; from taw

diff --git a/math/lexer.mll b/math/lexer.mll
index ff871cb..c56c30b 100644 (file)
--- a/math/lexer.mll
+++ b/math/lexer.mll
@@ -61,6 +61,7 @@ rule token = parse
   | "\\_"                      { LITERAL (HTMLABLEC(FONT_UFH,"\\_","_")) }
   | "\\#"                      { LITERAL (HTMLABLE (FONT_UFH,"\\#","#")) }
   | "\\%"                      { LITERAL (HTMLABLE (FONT_UFH,"\\%","%")) }
+  | "\\$"                      { LITERAL (HTMLABLE (FONT_UFH,"\\$","$")) }
   | "&"                                { NEXT_CELL }
   | "\\\\"                     { NEXT_ROW }
   | "\\begin{matrix}"          { Texutil.tex_use_ams(); BEGIN__MATRIX }
@@ -80,6 +81,7 @@ rule token = parse
   | '>'                                { LITERAL (HTMLABLEC(FONT_UFH,">"," > ")) }
   | '<'                                { LITERAL (HTMLABLEC(FONT_UFH,"<"," &lt; ")) }
   | '%'                                { LITERAL (HTMLABLEC(FONT_UFH,"\\%","%")) }
+  | '$'                                { LITERAL (HTMLABLEC(FONT_UFH,"\\$","$")) }
   | '~'                                { LITERAL (HTMLABLE (FONT_UF, "~","&nbsp;")) }
   | '['                                { DELIMITER (HTMLABLEC(FONT_UFH,"[","[")) }
   | ']'                                { SQ_CLOSE }