DoubleRightTee

Beschikbaar

Inert operator displayed with the ⊨ symbol

Vormen

DoubleRightTee[x, y]

Geverifieerde voorbeeldenDoubleRightTee[x, y] → x ⊨ y

Voer dit uit op Qurak Doorzoek de referentie

Gerelateerd

RightTee DoubleLeftTee

Alle 6300 functies · Gebruik dit vanuit een MCP-client