DoubleRightTee

Доступно

Inert operator displayed with the ⊨ symbol

Форми

DoubleRightTee[x, y]

Перевірені прикладиDoubleRightTee[x, y] → x ⊨ y

Виконати на Qurak Пошук у довіднику

Пов'язане

RightTee DoubleLeftTee

Усі 6300 функцій · Використати з MCP-клієнта