วงเล็บเหลี่ยมขาวขวาทางคณิตศาสตร์

ใช้กำหนดขอบเขตขวาของการประเมินค่าทางอรรถศาสตร์และมัลติเซตรูปนัย

ในอรรถศาสตร์รูปนัยและทฤษฎีภาษาโปรแกรม การเขียน ⟦e⟧ หมายถึงความหมาย การตีความ หรือค่าของนิพจน์ทางไวยากรณ์ e ในสัญกรณ์ Z สำหรับระบุข้อกำหนดของซอฟต์แวร์ ⟦ ... ⟧ จะใช้ครอบถุง (มัลติเซตที่สมาชิกซ้ำกันได้) สัญลักษณ์นี้แทบไม่ปรากฏนอกเหนือจากสาขาตรรกศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี

ในทางอักขรวิธี ⟧ เป็นตัวคั่นทางคณิตศาสตร์แบบแคบที่มีเส้นแนวตั้งคู่ แตกต่างจากเครื่องหมายวรรคตอนแบบกว้างของเอเชียตะวันออก 〛 และมีการเว้นวรรคที่ออกแบบมาสำหรับสูตรคณิตศาสตร์โดยเฉพาะ

ธรรมเนียมการใช้ ⟦ ⟧ มีที่มาจากไหน?

นักตรรกศาสตร์ใช้วงเล็บคู่เพื่อแยกไวยากรณ์ออกจากความหมายอย่างชัดเจน

ในช่วงกลางคริสต์ทศวรรษ 1960 ดานา สกอตต์ (Dana Scott) หันมาใช้วงเล็บเหลี่ยมคู่แทนขีดบน (บาร์) เนื่องจากเมื่อสูตรยาวและซ้อนทับกัน ขีดบนจะอ่านยากอย่างยิ่ง จากนั้นสกอตต์และคริสโตเฟอร์ สแตรชี ได้นำมาใช้ในอรรถศาสตร์บ่งชี้ แล้วจึงแพร่หลายไปยังวงการภาษาศาสตร์

ธรรมเนียมนี้สร้างการแบ่งแยกที่ชัดเจน ด้านในวงเล็บคือโครงสร้างภาษาหรือโค้ดดิบ ส่วนตัววงเล็บคู่ทั้งหมดจะแทนวัตถุทางคณิตศาสตร์หรือค่าความจริงที่เป็นผลลัพธ์