!a | b = a>b
