←
LeftTriangleBar
→
LeftUpDownVector
/
Reference of Built-in Symbols
/
Operators without Built-in Meanings
/
Infix Operators without Built-in Meanings
/
LeftTriangleEqual
/
LeftTriangleEqual (
⊴
)
WML link
LeftTriangleEqual[
x
,
y
, ...]
displays
x
⊴
y
⊴ ...
LeftTriangleEqual[x, y, z]
a \[LeftTriangleEqual] b
←
LeftTriangleBar
→
LeftUpDownVector