DoubleRightTee

Disponible

Inert operator displayed with the ⊨ symbol

Formas

DoubleRightTee[x, y]

Ejemplos verificadosDoubleRightTee[x, y] → x ⊨ y

Ejecutar en Qurak Buscar en la referencia

Relacionadas

RightTee DoubleLeftTee

Las 6300 funciones · Usar esto desde un cliente MCP