เครื่องหมายเทิร์นสไตล์ขวา

เครื่องหมายนี้บอกว่าข้อสรุปพิสูจน์ได้จากสมมติฐาน ใน Γ ⊢ T, Γ (แกมมา) แสดงรายการสมมติฐาน และ T คือข้อสรุป หากไม่มีอะไรอยู่ทางซ้าย ⊢ T หมายความว่าสามารถพิสูจน์ T ได้โดยไม่ต้องระบุสมมติฐาน

รูปแบบต้นแบบที่ยังพอสังเกตได้คือเครื่องหมายยืนยันที่นักตรรกศาสตร์ชาวเยอรมัน กอทท์ล็อบ เฟรเก ใช้ในปี 1879 งานของแกร์ฮาร์ด เกนท์เซนในปี 1934–35 ช่วยพัฒนาสัญกรณ์ซีเควนต์ ซึ่งเป็นบรรทัดรูปแบบทางการที่แยกข้อสมมติออกจากข้อสรุป

ทำไม ⊢ จึงเปลี่ยนความหมายตามสัญลักษณ์ข้างเคียง?

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