เครื่องหมายแท็กขวาแบบยาว

เป็นสัญลักษณ์ทางการที่ความหมายขึ้นอยู่กับสัญกรณ์

ในตรรกศาสตร์และทฤษฎีประเภท แท็กขวาแบบยาวอยู่ในกลุ่มเครื่องหมายที่อาจนำหน้าคำตัดสินว่าอะไรตามมาจากข้อสมมติหรือกฎ คู่มือสัญกรณ์ของข้อพิสูจน์หรือระบบนั้นจะกำหนดบทบาทที่แน่ชัดของ ⟝

รายการชื่อของยูนิโคดเชื่อมโยง ⟝ กับแท็กขวาที่สั้นกว่า ⊢ นี่เป็นความสัมพันธ์ในมาตรฐาน ไม่ใช่หลักประกันว่าเครื่องหมายทั้งสองใช้แทนกันได้ในทุกสัญกรณ์