Qurak
تسجيل الدخول

DoubleRightTee

متاحة

Inert operator displayed with the ⊨ symbol

DoubleRightTee[x, y]
DoubleRightTee[x, y] → x ⊨ y
شغّل هذا على Qurakابحث في المرجع

ذات صلة

RightTeeDoubleLeftTee

كل الدوال الـ6300 · استخدم هذا من عميل MCP