\[DownTee]
• Alias: dT.
• Infix operator.
• x y is by default interpreted as DownTee[x, y].
• See Section 3.10.4.
• See also: \[UpTee] , \[RightTee] , \[DownTeeArrow] .
Usage
\[DownTee] Notes
dT. 
y is by default interpreted as DownTee[x, y]. 
