--- lexer.mll.orig	2003-05-20 00:29:00.000000000 +0200
+++ lexer.mll	2003-05-20 00:29:26.000000000 +0200
@@ -61,6 +61,7 @@
   | "\\_" 			{ 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 @@
   | '>'				{ 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 }