RightTee

Tersedia

Right tee operator displayed with ⊢ symbol

Bentuk

RightTee[x, y]

Contoh disahkanRightTee[x, y] → x ⊢ y

Jalankan ini di Qurak Cari dalam rujukan

Berkaitan

DoubleRightTee RightTeeArrow RightTeeVector LeftTee DownTee

Semua 6300 fungsi · Gunakan ini daripada klien MCP