DoubleRightTee

Verfügbar

Inert operator displayed with the ⊨ symbol

Formen

DoubleRightTee[x, y]

Verifizierte BeispieleDoubleRightTee[x, y] → x ⊨ y

Auf Qurak ausführen Referenz durchsuchen

Verwandt

RightTee DoubleLeftTee

Alle 6300 Funktionen · Dies aus einem MCP-Client verwenden