reals,const,\reals
rplus,infix.\rplus
rmul,infix.\rmul
rless,rel,\rless
even,adj,even