Hva betyr ⊦
Det markerer en dom som påstått. Formelen som følger, presenteres som sann; tegnet beviser ikke formelen i seg selv.
Freges påstandstegn dukket først opp i Begriffsschrift i 1879. Den vannrette streken introduserte innholdet; den loddrette markerte selve bedømmelsen.
Senere logiske notasjoner skiller mellom bevisbarhet og semantisk følge med beslektede turnstile-tegn.
Spesialisert notasjon i formell logikk.
Sjekk systemets definisjoner før du erstatter det med ⊢ eller ⊨.
Ikke forveksle med
2Slik skriver du ⊦
Windows (Word)
Alt+XSkriv 22A6, 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 «assertion».
Linux
Ctrl+Shift+USkriv 22a6, og trykk Enter eller mellomrom.
HTML
⊦CSS
\22A6Unicode-inntasting
Skriv inn U+22A6 med operativsystemets heksadesimale Unicode-inntasting, hvis den er aktivert.
LaTeX (STIX Two)
Last inn `stix2`, og bruk `\assert` i matematikkmodus.
Koder og kodingKodepunkter: 1
HTML desimal
⊦
HTML heksadesimal
⊦
CSS-innhold
content: "\22A6";
Hver escape-sekvens slutter ved neste omvendte skråstrek; et mellomrom trengs før et bokstavelig heksadesimalt siffer.
URL-kodet
%E2%8A%A6
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.