Qurak
說明文件
價格
登入
Qurak
說明文件
函式
DoubleRightTee
DoubleRightTee
可用
Inert operator displayed with the ⊨ symbol
形式
DoubleRightTee[x, y]
已驗證的範例
DoubleRightTee[x, y] → x ⊨ y
在 Qurak 上執行
搜尋參考文件
相關
RightTee
DoubleLeftTee
← DoubleRightArrow
DoubleUpArrow →
全部 6300 個函式
·
從 MCP 用戶端使用這個