Make \bigtriangledown, \oplus and others Bin operators (and not Ord)