\[NotCupCap]
• Infix similarity operator.
• x y is by default interpreted as NotCupCap[x, y].
• See Section 3.10.4.
• See also: \[CupCap] .