fsymbols
Indlæser symboler…
››
⇍

Dobbeltpil mod venstre med streg

Dobbeltpil mod venstre med streg

54/104

⇍ sætter en negationsstreg gennem dobbeltpilen mod venstre . I logik viser den, at en implikation mod venstre ikke gælder, men den præcise læsning afhænger af den omgivende notation.

Tekstsymbol

Hvad betyder ⇍

Den negerer dobbeltpilen mod venstre .

I logik afviser A ⇍ B implikationen mod venstre A B: A følger ikke af B. Andre notationer kan bruge om en anden relation, så læs hele formlen.

Bourbakis værk fra 1954 dokumenterer den bredere dobbeltpilskonvention; årstallet fastslår ikke, hvornår ⇍ først blev brugt.

En del af samlingen

Forveksl ikke med

3

Sådan skriver eller finder du ⇍

Søg efter som
nLeftarrow · overstreget dobbeltpil · implicerer ikke · negeret pil
Vises i
Alle tekstfelter · formen afhænger af skrifttypen
Windows (Word)
⎇Alt+XSkriv 21CD, og tryk på AltX 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 ”leftwards double arrow with stroke”.
Linux
⎈Ctrl+⇧Shift+USkriv 21cd, og tryk på Enter eller mellemrum.
HTML
⇍
CSS
\21CD
LaTeX
Brug \nLeftarrow i matematiktilstand.
Unicode-escape
Brug \u21CD i sprog, der understøtter Unicode-escapes.
HTML
Brug ⇍ eller ⇍ i HTML.
Koder og kodningKodepunkter: 1
HTML decimal
⇍
HTML hexadecimal
⇍
CSS-indhold
content: "\21CD";
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%8D
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