Qurak
サインイン

RightTee

利用可能

Right tee operator displayed with ⊢ symbol

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

関連

DoubleRightTeeRightTeeArrowRightTeeVectorLeftTeeDownTee

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