I’ve never seen ! used for boolean NOT in maths, just ¬. I think ! is something programming languages went for because it’s easier to type. That said, screw (a, b). Is that a (coordinate) pair, an interval, an inner product, some secret fourth thing? Who knows!