Mitä ⊦ tarkoittaa
Se merkitsee arvostelman väitetyksi. Seuraava kaava esitetään totena, mutta merkki ei yksin todista kaavaa.
Fregen väitemerkki esiintyi ensimmäisen kerran Begriffsschrift-teoksessa vuonna 1879. Vaakaviiva esitti sisällön, ja pystyviiva merkitsi sen arvioimista.
Myöhemmät logiikan merkintätavat erottavat todistettavuuden semanttisesta seurauksesta toisiinsa liittyvillä turnstile-merkeillä.
Formaalin logiikan erikoismerkintä.
Tarkista järjestelmän määritelmät ennen kuin vaihdat sen merkkiin ⊢ tai ⊨.
Älä sekoita tähän
2Näin kirjoitat ⊦
Windows (Word)
Alt+XKirjoita 22A6 ja paina Alt+X, niin saat merkin ⊦.
Windows
Win+RAvaa koko taulukko suorittamalla charmap tai käytä emojivalitsimen Ω-välilehteä (Win + .).
macOS
Control+Command+SpaceAvaa merkkivalitsin ja hae ”assertion”.
Linux
Ctrl+Shift+UKirjoita 22a6 ja paina Enter tai välilyönti.
HTML
⊦CSS
\22A6Unicode-syöttö
Syötä U+22A6 käyttöjärjestelmän heksadesimaalisella Unicode-syötöllä, jos se on käytössä.
LaTeX (STIX Two)
Lataa `stix2` ja käytä komennon `\assert` matemaattisessa tilassa.
Koodit ja koodausKoodipisteitä: 1
HTML desimaalina
⊦
HTML heksadesimaalina
⊦
CSS-sisältö
content: "\22A6";
Kukin ohjausjakso päättyy seuraavaan kenoviivaan; ennen kirjaimellista heksadesimaalinumeroa tarvitaan välilyönti.
URL-koodattu
%E2%8A%A6
1
Näytöllä
1
Koodipisteet
1
JS .length
3
UTF-8-tavut
Näkyvä symboli voi sisältää useita koodipisteitä. JS .length laskee UTF-16-yksiköt; UTF-8 laskee tavut.