Ikke-mindre-end-tegn

Det afviser sammenligningen: venstre side er ikke mindre end højre. Stregen gennem mindre-end-tegnet virker som et ”ikke”. a ≮ b læses ”a er ikke mindre end b”. For hverdagens tal er der kun tre muligheder, mindre, lig med eller større, så hvis a ikke er mindre end b, må det være større eller lig med, og a ≮ b betyder det samme som a ≥ b. 7 ≮ 3 er sandt; 2 ≮ 5 er falsk.

Hvorfor så et særskilt tegn? Fordi matematikere også skriver < for ordninger, hvor nogle par slet ikke kan sammenlignes. Ordn mennesker efter ”er forfader til” eller mængder efter ”er indeholdt i”: to fætre, eller mængderne {1, 2} og {2, 3}, ligger hverken under eller over hinanden. Dér udelukker a ≮ b kun ”mindre”; det lover ikke ”større eller lig med”. Forskellen viser sig også i beviser, hvor man kan nøjes med at antage a ≮ b, en svagere antagelse end a ≥ b.

Uden for matematikken er det sjældent. Regneark, lommeregnere og de fleste programmeringssprog godtager det ikke som sammenligning, og i almindelig tekst er ”ikke mindre end” eller ”mindst” tydeligere end tegnet.

Hvor kommer det overstregede tegn fra?

Stregen er standardmåden at negere en matematisk relation på. Tegnene < og > blev trykt første gang i algebrabogen af den engelske matematiker Thomas Harriot, udgivet i 1631, ti år efter hans død; historikere tilskriver som regel de trykte tegn den redaktør, der forberedte værket. En streg gennem et relationstegn blev den almindelige måde at skrive ”ikke” på: ≠ for forskellig fra, ∉ for ikke element i, ≮ for ikke mindre end. Unicode behandler ≮ på samme måde, som et mindre-end-tegn med en streg lagt henover.