--------------------------------------------------------------------------------------------------------------------
lex_circus.v2.0:
--------------------------------------------------------------------------------------------------------------------

- Alteracoes feitas por Manuela.

- Retirou o token \circcon.
- Incluiu os tokens \circnameset, \circval, \circres, \circvalres
- Tinha tirado a producao de ARROW mas eu (Angela) inclui de volta, pois
sem esta produo no reconhece nomes com underline.