🔍

Indlæser symboler…

››

⟝

Lang højre-tack

Lang højre-tack

⟝ er et langt højre-tacktegn fra specialiseret matematisk notation. I logik og typeteori kan tegn i denne familie indlede en dom: det, der følger af antagelser eller regler. Systemets notation fastlægger tegnets præcise rolle. Unicode knytter det til det kortere , men de to kan ikke automatisk bruges i stedet for hinanden.

Tekstsymbol

Hvad betyder ⟝

Det er et formelt tegn, hvis betydning afhænger af notationen.

I logik og typeteori hører det lange højre-tack til en familie af tegn, der kan indlede en dom: det, der følger af antagelser eller regler. Notationsvejledningen for et bevis eller system fastlægger ⟝’s præcise rolle.

Unicodes navneliste knytter ⟝ til det kortere højre-tack . Det er en forbindelse i standarden, ikke en garanti for, at tegnene kan udskiftes i al notation.

Teknisk og specialiseret; usædvanligt i uformel chat, hvis læserne ikke kender den formelle notation.

Den længere form betyder ikke universel betoning.

Forveksl ikke med

⟞

Langt venstrevendt T-tegn

⟞ er det lange venstre-tack; tværstregen peger den modsatte vej. Retningen er en del af tegnets identitet.

Ofte stillede spørgsmål

Hvorfor vises ⟝ som en firkant eller et tomt felt?

Det kan ske. Den valgte skrifttype mangler muligvis en glyf for ⟝; en skrifttype med matematiske symboler kan vise det.

Sådan skriver eller finder du ⟝

Søg efter som: højre-tack · lang tack · turnstile · bevistegn · logiktegn · typeteori · formel notation · tack-tegn
Vises i: Alle tekstfelter · formen afhænger af skrifttypen

Windows (Word)

⎇Alt+XSkriv 27DD, 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 ”long right tack”.

Linux

⎈Ctrl+⇧Shift+USkriv 27dd, og tryk på Enter eller mellemrum.

HTML

⟝

CSS

\27DD

Sådan indtastes ⟝

I en editor med Unicode-hexinput skal du indtaste 27DD og bruge editorens konverteringskommando; genvejen afhænger af appen.

Koder og kodningKodepunkter: 1

HTML decimal

⟝

HTML hexadecimal

⟝

CSS-indhold

content: "\27DD";

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%9F%9D

På skærmen

Kodepunkter

JS .length

UTF-8-byte

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

Symbolets grupper

Matematik og tal1.835 symboler

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣