DownLeftVectorBar
\[DownLeftVectorBar]
Infix arrow-like operator. x y is by default interpreted as DownLeftVectorBar[x, y]. Extensible character. See The Mathematica Book: Section 3.10.4. See also: \[LeftVectorBar] , \[LeftTeeVector] .