RightTee

Verfügbar

Right tee operator displayed with ⊢ symbol

Formen

RightTee[x, y]

Verifizierte BeispieleRightTee[x, y] → x ⊢ y

Auf Qurak ausführen Referenz durchsuchen

Verwandt

DoubleRightTee RightTeeArrow RightTeeVector LeftTee DownTee

Alle 6300 Funktionen · Dies aus einem MCP-Client verwenden