\[LeftTriangleBar]
• Infix ordering operator.
• x y is by default interpreted as LeftTriangleBar[x, y].
• See Section 3.10.4.
• See also: \[LeftTriangle] , \[LeftTriangleEqual] , \[LeftArrowBar] , \[NotLeftTriangleBar] .