Yukarı raptiye

Mantıkta ⊥ asla doğru olamayan bir önermedir. Falsum ya da bottom denen bu işaret saçmalığı gösterir: ⊥ türeten bir ispat çelişkiye varmıştır ve olmayana ergi ispatı böyle biter. Bazı mantıklar “φ değil”i doğrudan φ → ⊥, yani “φ saçmalığa götürür” diye tanımlar.

Mantık dışında bottom, bir sıralamanın en alttaki öğesidir. Bir kafeste (her iki öğenin en büyük alt sınırı olan yapı) ⊥ her şeyin altındadır. Programlama dilleri kuramında bottom tipinin hiç değeri yoktur; onu döndüren bir fonksiyon asla normal biçimde dönmez.

⊥ diklik işareti mi?

Geleneksel olarak evet; güncel Unicode’da ⟂ kullanın. Eski karakter kümeleri ve HTML varlığı ⊥, ⊥’yi dik doğrular için yeniden kullanır; bu yüzden AB ⊥ CD gibi yapıştırılmış geometri hâlâ yaygındır. Unicode özel diklik bağıntısı ⟂’yi 2003’te önerdi ve 2005’te kodladı; iki nesne arasındaki bağıntı olarak boşluklu durur.