หมุดชี้ขึ้น (up tack)

ในตรรกศาสตร์ ⊥ คือประพจน์ที่ไม่มีทางเป็นจริง เรียกว่า falsum หรือ bottom ใช้แทนความไร้เหตุผล บทพิสูจน์ที่ได้ ⊥ ออกมาแปลว่าเจอข้อขัดแย้ง และการพิสูจน์โดยข้อขัดแย้งจบลงแบบนี้ บางระบบตรรกะถึงกับนิยาม "ไม่ใช่ φ" ว่า φ → ⊥ คือ "φ นำไปสู่ความไร้เหตุผล"

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

⊥ คือสัญลักษณ์ตั้งฉากหรือไม่?

ตามธรรมเนียมใช่ แต่ใน Unicode ปัจจุบันให้ใช้ ⟂ ชุดอักขระเก่าและเอนทิตี HTML ⊥ นำ ⊥ มาใช้กับเส้นตั้งฉาก สูตรเรขาคณิตที่วางมาอย่าง AB ⊥ CD จึงยังพบบ่อย Unicode เสนออักขระความสัมพันธ์ตั้งฉากเฉพาะ ⟂ ในปี 2003 และเข้ารหัสในปี 2005 โดยเว้นระยะในฐานะความสัมพันธ์ระหว่างสองสิ่ง