Hvad betyder ⊦
Det markerer en dom som fremsat. Formlen efter tegnet præsenteres som sand; tegnet beviser ikke i sig selv formlen.
Freges påstandstegn optrådte første gang i Begriffsschrift i 1879. Den vandrette streg indførte indholdet; den lodrette markerede selve bedømmelsen.
Senere logiske notationer skelner mellem beviselighed og semantisk følge med beslægtede turnstile-tegn.
Specialiseret notation i formel logik.
Tjek systemets definitioner, før du erstatter tegnet med ⊢ eller ⊨.
Forveksl ikke med
2Sådan skriver du ⊦
Windows (Word)
Alt+XSkriv 22A6, 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 ”assertion”.
Linux
Ctrl+Shift+USkriv 22a6, og tryk på Enter eller mellemrum.
HTML
⊦CSS
\22A6Unicode-input
Indtast U+22A6 med styresystemets hexadecimale Unicode-input, hvis det er aktiveret.
LaTeX (STIX Two)
Indlæs `stix2`, og brug `\assert` i matematiktilstand.
Koder og kodningKodepunkter: 1
HTML decimal
⊦
HTML hexadecimal
⊦
CSS-indhold
content: "\22A6";
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%8A%A6
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.