Vad betyder ⊦
Det markerar ett omdöme som hävdat. Formeln som följer presenteras som sann; tecknet bevisar inte formeln i sig.
Freges påståendetecken förekom först i Begriffsschrift år 1879. Det vågräta strecket introducerade innehållet; det lodräta markerade själva bedömningen.
Senare logiska notationer skiljer mellan bevisbarhet och semantisk följd med besläktade turnstile-tecken.
Specialiserad notation inom formell logik.
Kontrollera systemets definitioner innan du byter ut det mot ⊢ eller ⊨.
Blanda inte ihop med
2Så skriver du ⊦
Windows (Word)
Alt+XSkriv 22A6 och tryck på Alt+X för ⊦.
Windows
Win+RKör charmap för hela tabellen eller använd Ω-fliken i emojiväljaren (Win + .).
macOS
Control+Command+SpaceÖppna teckenvisaren och sök efter ”assertion”.
Linux
Ctrl+Shift+USkriv 22a6 och tryck på Enter eller blanksteg.
HTML
⊦CSS
\22A6Unicode-inmatning
Skriv in U+22A6 med operativsystemets hexadecimala Unicode-inmatning, om den är aktiverad.
LaTeX (STIX Two)
Läs in `stix2` och använd `\assert` i matematikläge.
Koder och kodningKodpunkter: 1
HTML decimalt
⊦
HTML hexadecimalt
⊦
CSS-innehåll
content: "\22A6";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%8A%A6
1
På skärmen
1
Kodpunkter
1
JS .length
3
UTF-8-byte
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.