CONTROL-M [\015]
CONTROL-L [\014]
ALPHABET  [a-zA-Z]
ACCENT_ACUTE "\\'"
ACCENT_GRAV  "\\`"
ACCENT_UMLAUT  "\\\""
ACCENT_CIRCUMFLEX "\\^"
ACCENT ({ACCENT_CIRCUMFLEX}|{ACCENT_GRAV}|{ACCENT_ACUTE}|{ACCENT_UMLAUT})
FILENAME_CHAR [a-zA-Z]
LETTER ([a-zA-Z-])|({ACCENT})
DIGIT [0-9]
NUMBER {DIGIT}+
MATH_NUMBER  {DIGIT}*(".")?{NUMBER}
TEXT_NUMBER {NUMBER}((",")?{MATH_NUMBER})*
TIME_NUMBER {DIGIT}+(":")?{DIGIT}+
ALPHABET_STRING ({LETTER})*
WHITESPACE [ \t\n]
H_SPACE [ \t]
NEWLINE [\n]
BLANK_LINE (({H_SPACE})*{NEWLINE})
PARAGRAPH_SEPARATOR {NEWLINE}({BLANK_LINE})+
PUNCT [-=_^/.,:;!?"()@\[\]|<>*+'`]
BACKSLASH \\
LATEX_SPECIAL_CHAR [#$%&~_^{}\\]
MATH_OP [+*/'<>=-]
POS_TAB_ARG "["[hbtp]+"]"
OPT_TAB_ARG "{"[lrc|]*"}"
BEGIN_ENV_OPEN {BACKSLASH}"begin"({H_SPACE})*"{"
BEGIN_ENV_CLOSE "}"({WHITESPACE})*
BEGIN_DISPLAY_MATH  "$$"
END_DISPLAY_MATH "$$"