เครื่องหมายแท็กซ้าย

อ่าน ⊣ ตามระบบสัญกรณ์ที่กำหนดความหมายของมัน

ในทฤษฎีหมวดหมู่ F ⊣ G หมายความว่า F เป็นแอดจอยน์ซ้ายของ G ซึ่งเป็นความสัมพันธ์เชิงรูปแบบระหว่างโครงสร้างสองแบบ APL เป็นภาษาเขียนโปรแกรมเชิงสัญลักษณ์ที่ใช้ ⊣ เป็นฟังก์ชันเอกลักษณ์ซ้าย: X ⊣ Y ให้ผลเป็น X ส่วน ⊣Y ให้ผลเป็น Y

ในตรรกศาสตร์ ⊣ คือเทิร์นสไตล์กลับด้าน ความสัมพันธ์ที่แสดงอย่างเจาะจงขึ้นอยู่กับระบบนั้น

ทิศทางเปลี่ยนหน้าที่

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

ประวัติของ APL บันทึกวิธีตั้งชื่อทิศทางของแท็กไว้สองแบบที่แข่งขันกัน ดังนั้นชื่อ APL แบบผสมบางชื่อจึงไม่ตรงกับชื่อซ้าย/ขวาของ Unicode แม้รูปสัญลักษณ์ที่วาดจะเหมือนเดิม