Qurak
登录

DoubleRightTee

可用

Inert operator displayed with the ⊨ symbol

DoubleRightTee[x, y]
DoubleRightTee[x, y] → x ⊨ y
在 Qurak 上运行搜索参考

相关

RightTeeDoubleLeftTee

全部 6300 个函数 · 从 MCP 客户端使用