المسمار المتجه إلى الأعلى

في المنطق، ⊥ قضية لا يمكن أن تكون صادقة أبدًا. يُسمّى falsum أو القاع، ويدل على السخف: البرهان الذي يصل إلى ⊥ قد اصطدم بتناقض، وهكذا ينتهي البرهان بالخلف. بل إن بعض الأنظمة المنطقية تعرّف «ليس φ» بأنها φ → ⊥، أي «φ تؤدي إلى السخف».

خارج المنطق، القاع هو أدنى عنصر في ترتيب ما. في الشبكة (بنية يكون لكل عنصرين فيها أكبر حد أدنى) يقع ⊥ تحت كل شيء. وفي نظرية لغات البرمجة، لا يملك نوع القاع أي قيمة، فالدالة التي تعيده لا تعود أبدًا عودة طبيعية.

هل ⊥ هو رمز التعامد؟

تقليديًا نعم؛ أما في يونيكود الحالي فاستخدم ⟂. تعيد مجموعات المحارف القديمة وكيان HTML ‏⊥ استخدام ⊥ للمستقيمات المتعامدة، لذا ما زالت صيغ هندسية ملصوقة مثل AB ⊥ CD شائعة. اقترح يونيكود علاقة تعامد مخصصة، ⟂، عام 2003 وأدرجها عام 2005، بمسافات كعلاقة بين شيئين.