DoubleRightTee

Khả dụng

Inert operator displayed with the ⊨ symbol

Dạng

DoubleRightTee[x, y]

Ví dụ đã kiểm chứngDoubleRightTee[x, y] → x ⊨ y

Chạy cái này trên Qurak Tìm trong tài liệu tham chiếu

Liên quan

RightTee DoubleLeftTee

Tất cả 6300 hàm · Dùng cái này từ một client MCP