Qurak

DoubleRightTee

ใช้งานได้

Inert operator displayed with the ⊨ symbol

DoubleRightTee[x, y]
DoubleRightTee[x, y] → x ⊨ y

ที่เกี่ยวข้อง

ฟังก์ชันทั้งหมด 6300 รายการ · ใช้สิ่งนี้จากไคลเอนต์ MCP