a<->b a->b a<-b a=>b a<=b a++b a!=b a!==b a===b a>>=b a=<b a==b a<*>b a<$>b a<<>>b a<>b a/=b a::b a:=b {-ab-} a<|b a|>b a~>b a<~b a<~>b b<^>b a/\b a<==>b a<|>b a-->b a>=b a=