fsymbols
Indlæser symboler…
››
⇼

Venstre-højre-pil med dobbelt lodret streg

Venstre-højre-pil med dobbelt lodret streg

⇼ er pilen for endelige relationer i Z-notation. Den står for en endelig mængde ordnede par mellem to mængder; de dobbelte streger adskiller den fra funktionspile.

Tekstsymbol
Også kaldet
endelig relation i Z-notation
Søg efter som
endelig relation · Z-notation · pil med dobbelt streg
Vises i
Alle tekstfelter · formen afhænger af skrifttypen

Hvad betyder ⇼

Den indeholder et endeligt antal ordnede par. Hvert par forbinder elementer fra to mængder i en bestemt rækkefølge. En funktion er en særlig relation, hvor hvert element til venstre højst har én tilsvarende værdi til højre.

Formel notation til Z-specifikationer.

Erstat den ikke med ⇔: det tegn står for logisk ækvivalens («hvis og kun hvis»).

Forveksl ikke med

2

Sådan skriver du ⇼

Windows (Word)
Alt+XSkriv 21FC, og tryk på Alt+X for at få ⇼.
Windows
Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).
macOS
Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”left right arrow with double vertical stroke”.
Linux
Ctrl+Shift+USkriv 21fc, og tryk på Enter eller mellemrum.
HTML
⇼
CSS
\21FC
Julia
Skriv \nVleftrightarrow og tryk Tab; Julias dokumentation angiver genvejen pr. 2026.
Unicode-editor
Indtast U+21FC med editorens Unicode-funktion.
Koder og kodningKodepunkter: 1
HTML decimal
⇼
HTML hexadecimal
⇼
CSS-indhold
content: "\21FC";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%87%BC
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte

Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.

Symbolets grupper

1