reals,const,\reals
rplus,infix,\rplus
rminus,infix,\rminus
rmul,infix,\rmul
rfrac,infix,\rfrac
rless,rel,\rless