A <
A <> B
