DoubleRightTee

Disponibile

Inert operator displayed with the ⊨ symbol

Forme

DoubleRightTee[x, y]

Esempi verificatiDoubleRightTee[x, y] → x ⊨ y

Esegui su Qurak Cerca nella guida

Correlate

RightTee DoubleLeftTee

Tutte le 6300 funzioni · Usa questo da un client MCP