Up tack (opp-ned-T)

At de møtes i rett vinkel. AB ⊥ CD leses «AB står vinkelrett på CD». Tegnet tegner det det sier: en loddrett strek som står på en vannrett. Partneren i geometrien er ∥, «er parallell med».

For vektorer og funksjoner kalles vinkelrett ortogonal: u ⊥ v betyr at vektorene står vinkelrett på hverandre. Skrevet lite etter en bokstav, som W⊥ («W perp»), betegner det alt som står vinkelrett på W, det ortogonale komplementet.

Hvorfor betyr ⊥ «usann» i logikk?

Det står for et utsagn som aldri kan være sant. Logikere kaller det falsum eller bottom. Et motsigelsesbevis slutter når det når ⊥, og «ikke φ» kan skrives φ → ⊥: «φ fører til absurditet». Speilbildet ⊤ står for «sann».

«Bottom» er også det minste elementet i en ordning. I programmeringsspråkteori har bottom-typen ingen verdier i det hele tatt, så en funksjon som returnerer den, kommer aldri normalt tilbake. Språk skriver den Never, Nothing eller !.

Skal jeg skrive ⊥ eller ⟂?

For vanlig vinkelrett er ⊥ normalt og forståelig. Eldre tegnsett, HTML-entiteten &perp; og de fleste symbolvelgere gir ⊥. I 2005 la Unicode til ⟂, en egen vinkelrett-relasjon med samme mellomrom som = eller <, som nøye matematisk sats kan foretrekke. De ser nesten like ut, men er ulike tegn: søker du på det ene, finner du ikke det andre.