fsymbols
Laster symboler…
››
∣

Går opp i

Går opp i

∣ er symbolet for «går opp i»: 3 ∣ 12 sier at 3 går opp i 12, fordi 12 er et heltallsmultiplum av 3. Det påstår et ja-eller-nei-faktum i stedet for å regne ut noe, i motsetning til skråstreken i 12/3. I mengdenotasjon leses den samme loddrette streken «slik at».

Tekstsymbol
Også kalt
mid · delelighetsstrek
Søk etter som
delelighet · går opp i symbol · a går opp i b · slik at · loddrett strek
Vises i
Alle tekstfelt · formen avhenger av skrifttypen

Hva betyr ∣

Tallet til venstre går opp i tallet til høyre uten rest.

Altså er 3 ∣ 12 sant og 5 ∣ 12 usant. I tallteori og bevis står det oftest som a ∣ b, lest «a går opp i b».

Inne i krøllparenteser, som i {n ∣ n > 0}, leses streken «slik at»: mengden av alle n slik at n er større enn 0.

Det slo gjennom tidlig på 1900-tallet

Den tyske tallteoretikeren Edmund Landau forklarte notasjonen i sin Handbuch fra 1909, et oppslagsverk om hvordan primtall er fordelt; bredere bruk fulgte på 1930-tallet. En relasjon som før ble skrevet ut med ord, fikk ett kort tegn.

Formell tallteori og bevisskriving; i vanlig chat signaliserer det spesialisert matematisk notasjon.

Ikke divisjon: 3 ∣ 12 er en ja-eller-nei-påstand.

Ikke forveksle med

2

Slik skriver du ∣

Windows (Word)
Alt+XSkriv 2223, og trykk Alt+X for å få ∣.
Windows
Win+RKjør charmap for hele tabellen, eller bruk Ω-fanen i emojivelgeren (Win + .).
macOS
Control+Command+SpaceÅpne tegnviseren og søk etter «divides».
Linux
Ctrl+Shift+USkriv 2223, og trykk Enter eller mellomrom.
HTML
∣
CSS
\2223
LaTeX
Skriv `a \mid b`; en vanlig | får feil mellomrom.
LaTeX, negert
Skriv `a \nmid b` (krever pakken amssymb).
Windows (Word)
Skriv 2223 og trykk Alt+X.
Linux (GTK-apper)
Trykk Ctrl+Shift+U, skriv 2223, trykk Enter.
Koder og kodingKodepunkter: 1
HTML desimal
∣
HTML heksadesimal
∣
CSS-innhold
content: "\2223";
Hver escape-sekvens slutter ved neste omvendte skråstrek; et mellomrom trengs før et bokstavelig heksadesimalt siffer.
URL-kodet
%E2%88%A3
1
På skjermen
1
Kodepunkter
1
JS .length
3
UTF-8-byte

Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.

Symbolets grupper

1

Matematikk og tall1 835 symboler