Documentation Publicon Reference Special Characters
NotLeftTriangleBar
\[NotLeftTriangleBar]
• Infix ordering operator. • x y is by default interpreted as NotLeftTriangleBar[x, y].• See also: \[NotLeftTriangle] , \[NotLeftTriangleEqual] , \[NotRightTriangleBar] , \[LeftTriangleBar] .
\[NotLeftTriangleBar]
y is by default interpreted as NotLeftTriangleBar[x, y].