\[Diamond]
• Alias: dia.
• Infix operator.
• x y is by default interpreted as Diamond[x, y].
• See Section 3.10.4.
• See also: \[EmptyDiamond] , \[FilledDiamond] , \[DiamondSuit] .