\[Diamond]

  • Unicode: 22C4.
  • Alias: dia.
  • Infix operator.
  • x y is by default interpreted as Diamond[x,y].