Uppåtvänd stift (up tack)

Inom logik är ⊥ ett påstående som aldrig kan vara sant. Som falsum eller bottom markerar det det absurda: ett bevis som härleder ⊥ har stött på en motsägelse, och så slutar ett motsägelsebevis. Vissa logiker definierar till och med ”inte φ” som φ → ⊥, ”φ leder till absurditet”.

Utanför logiken är bottom det lägsta elementet i en ordning. I ett lattice (en struktur där varje par av element har en största undre gräns) ligger ⊥ under allt. Inom programspråksteori har bottom-typen inga värden alls, så en funktion som returnerar den återvänder aldrig normalt.

Är ⊥ symbolen för vinkelrät?

Traditionellt ja; i dagens Unicode använder du ⟂. Äldre teckenuppsättningar och HTML-entiteten ⊥ återanvänder ⊥ för vinkelräta linjer, så inklistrad geometri som AB ⊥ CD är fortfarande vanlig. Unicode föreslog en egen vinkelrät-relation, ⟂, 2003 och kodade den 2005, med mellanrum som en relation mellan två objekt.