LeftDownVectorBar
\[LeftDownVectorBar]
Infix arrow-like operator. x y is by default interpreted as LeftDownVectorBar[x, y]. Extensible character. See The Mathematica Book: Section 3.10.4. See also: \[RightDownVectorBar] , \[LeftDownTeeVector] , \[DownArrowBar] , \[LeftUpVectorBar] .