DoubleRightTee

Disponible

Inert operator displayed with the ⊨ symbol

Formes

DoubleRightTee[x, y]

Exemples vérifiésDoubleRightTee[x, y] → x ⊨ y

Exécuter sur Qurak Rechercher dans la référence

Connexes

RightTee DoubleLeftTee

Les 6300 fonctions · Utiliser ceci depuis un client MCP