Mathematica > Special Characters >
Mathematica Character Name

\[DownTee]

  • Unicode: 22A4.
  • Alias: Esc dT Esc.
  • Infix operator.
  • x ⊤ y is by default interpreted as DownTee[x, y].