Qurak
ورود

DoubleRightTee

در دسترس

Inert operator displayed with the ⊨ symbol

DoubleRightTee[x, y]
DoubleRightTee[x, y] → x ⊨ y
اجرای این روی Qurakجست‌وجو در مرجع

مرتبط

RightTeeDoubleLeftTee

همهٔ 6300 تابع · استفاده از این در کلاینت MCP