Qurak
サインイン

DoubleRightTee

利用可能

Inert operator displayed with the ⊨ symbol

DoubleRightTee[x, y]
DoubleRightTee[x, y] → x ⊨ y
Qurakで実行リファレンスを検索

関連

RightTeeDoubleLeftTee

全 6300 関数 · MCPクライアントから使う