(var y : bb->bb)
=e =
a =e=< b
= e <
=ea
=e a
=a=
= a =
==e=
== e=
=e=e=e=
=e= e =e=
=e =e= e=
a = e= b
a =e = b
a = e= __ b __
a=>b<=>c
a if b <=> v
a /\ b \/ c
a if b => c
a => b if c