Documentation Publicon Reference Special Characters
DownTee
\[DownTee]
• Alias: dT. • Infix operator. • x y is by default interpreted as DownTee[x, y].• See also: \[UpTee] , \[RightTee] , \[DownTeeArrow] .
\[DownTee]
dT
y is by default interpreted as DownTee[x, y].