%%
[0-9]+ { yylval = ast_int(atoi(yytext)); return INTEGER; }
+! return INVERSE;
+\|\| return BINOR;
+&& return BINAND;
+== return EQ;
+!= return NEQ;
+\<= return GEQ;
+\< return GE;
+>= return LEQ;
+> return LE;
+: return CONS;
\+ return PLUS;
- return MINUS;
\* return TIMES;
\/ return DIVIDE;
+% return MODULO;
+\^ return POWER;
\( return BOPEN;
\) return BCLOSE;
\; return SEMICOLON;