\[LeftVectorBar]
• Infix arrow-like operator.
• x y is by default interpreted as LeftVectorBar[x, y].
• Extensible character.
• See Section 3.10.4.
• See also: \[DownLeftVectorBar] , \[LeftTeeVector] , \[LeftArrowBar] .
Usage
\[LeftVectorBar] Notes
y is by default interpreted as LeftVectorBar[x, y]. 
