DoubleRightTee

Доступно

Inert operator displayed with the ⊨ symbol

Формы

DoubleRightTee[x, y]

Проверенные примерыDoubleRightTee[x, y] → x ⊨ y

Выполнить на Qurak Поиск по справочнику

Связанное

RightTee DoubleLeftTee

Все 6300 функций · Использовать из MCP-клиента