let regexp implicit = '?'
let regexp meta = implicit number
+let regexp csymbol = '\'' ident
+
let regexp uri =
("cic:/" | "theory:/") (* schema *)
ident ('/' ident)* (* path *)
| tex_token -> return lexbuf (expand_macro lexbuf)
| uri -> return lexbuf ("URI", Ulexing.utf8_lexeme lexbuf)
| eof -> return lexbuf ("EOI", "")
+ | csymbol -> return lexbuf ("CSYMBOL", Ulexing.utf8_lexeme lexbuf)
| _ -> return lexbuf ("SYMBOL", Ulexing.utf8_lexeme lexbuf)
(* API implementation *)