Ikke parallell med

Det sier at to linjer, plan eller vektorer ikke er parallelle. Parallelle linjer holder samme retning for alltid og møtes aldri i et plan; skråstreken fjerner den egenskapen. Så a ∦ b leses «a er ikke parallell med b», og ∦ står normalt mellom navnene på to objekter.

Hva «ikke parallell» innebærer, avhenger av hva a og b er. To ikke-parallelle linjer i samme plan skjærer hverandre i nøyaktig ett punkt. I rommet kan de skjære hverandre eller være vindskjeve: de møtes aldri, men er likevel ikke parallelle. To vektorer som ikke er nullvektoren, er ikke parallelle når ingen av dem er en strukket eller snudd kopi av den andre. To ikke-parallelle plan i rommet skjærer hverandre langs en linje.

Det det ikke sier, er «vinkelrett». En linje som heller ti grader, og en som heller nitti, er begge ∦; den rette vinkelen har sitt eget tegn, ⊥. Du møter ∦ i geometritimer, lekser, vektorbevis og lærebøker; det er et matematisk relasjonstegn uten fast betydning i chat.

Hvor kommer det overstrøkne tegnet fra?

Det er ∥ med den vanlige negasjonsstreken. Matematikken negerer en relasjon ved å stryke over den: = blir ≠, ∈ blir ∉, ∣ blir ∤. Unicode bygger ∦ på samme måte; tegnet er definert som ∥ etterfulgt av en kombinerende skråstrek, og derfor ser de to formene normalt like ut på skjermen.

Selve parallelltegnet er gammelt. Greske geometrikere som Heron og Pappos markerte «parallell» med to vannrette streker, nettopp den formen likheten overtok da Robert Recorde innførte = i 1557. Strekene ble siden reist opp, og det loddrette ∥ finnes i engelske matematikkbøker fra 1673 og 1677. ∦ er rett og slett strekkonvensjonen brukt på det tegnet.