DoubleRightTee

Tersedia

Inert operator displayed with the ⊨ symbol

Bentuk

DoubleRightTee[x, y]

Contoh terverifikasiDoubleRightTee[x, y] → x ⊨ y

Jalankan ini di Qurak Cari di referensi

Terkait

RightTee DoubleLeftTee

Semua 6300 fungsi · Pakai ini dari klien MCP