| Index: trunk/phase3/math/lexer.mll |
| — | — | @@ -61,6 +61,7 @@ |
| 62 | 62 | | "\\_" { LITERAL (HTMLABLEC(FONT_UFH,"\\_","_")) } |
| 63 | 63 | | "\\#" { LITERAL (HTMLABLE (FONT_UFH,"\\#","#")) } |
| 64 | 64 | | "\\%" { LITERAL (HTMLABLE (FONT_UFH,"\\%","%")) } |
| | 65 | + | "\\$" { LITERAL (HTMLABLE (FONT_UFH,"\\$","$")) } |
| 65 | 66 | | "&" { NEXT_CELL } |
| 66 | 67 | | "\\\\" { NEXT_ROW } |
| 67 | 68 | | "\\begin{matrix}" { Texutil.tex_use_ams(); BEGIN__MATRIX } |
| — | — | @@ -80,6 +81,7 @@ |
| 81 | 82 | | '>' { LITERAL (HTMLABLEC(FONT_UFH,">"," > ")) } |
| 82 | 83 | | '<' { LITERAL (HTMLABLEC(FONT_UFH,"<"," < ")) } |
| 83 | 84 | | '%' { LITERAL (HTMLABLEC(FONT_UFH,"\\%","%")) } |
| | 85 | + | '$' { LITERAL (HTMLABLEC(FONT_UFH,"\\$","$")) } |
| 84 | 86 | | '~' { LITERAL (HTMLABLE (FONT_UF, "~"," ")) } |
| 85 | 87 | | '[' { DELIMITER (HTMLABLEC(FONT_UFH,"[","[")) } |
| 86 | 88 | | ']' { SQ_CLOSE } |