'\\' '(' '[' '{' ')' ']' '}' '?'
]
let regexp dust = "%%" [^ '\n']* '\n'
-let regexp comment_char = [^ "*)" ]
+
+let regexp comment_char = [^ ")" ]
let regexp note = "(*" comment_char* "*)"
+
let regexp commentbegin = "(**"
let regexp commentend = "**)"
+
let regexp blanks = blank+
let regexp num = digit+
let regexp tex_token = '\\' alpha+