Mitä ⊤ tarkoittaa
Merkintätavasta riippuen se tarkoittaa totuutta, tautologiaa tai suurinta alkiota. Logiikassa se voi olla verum (latinaa, ”totuus”) tai tautologia eli kaikissa tilanteissa tosi väite. Hilateoria tutkii järjestettyjä rakenteita; siinä ⊤ tarkoittaa suurinta alkiota. Tyyppiteoriassa se voi tarkoittaa aina totta olevaa väitettä.
Vuodelta 2000 peräisin oleva APL-merkintä kirjaa kilpailevat Bosworthin ja Londonin nimeämiskäytännöt tack-symboleille. APL on ohjelmointikieli, jolla on oma matemaattinen merkintätapansa.
Muodollinen merkintä logiikassa, hilateoriassa ja tyyppiteoriassa.
Älä sekoita tähän
2Näin kirjoitat ⊤
Windows (Word)
Alt+XKirjoita 22A4 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 ”down tack”.
Linux
Ctrl+Shift+UKirjoita 22a4 ja paina Enter tai välilyönti.
HTML
⊤CSS
\22A4LaTeX
Kirjoita LaTeXin matematiikkatilassa `\top`.
Koodit ja koodausKoodipisteitä: 1
HTML desimaalina
⊤
HTML heksadesimaalina
⊤
CSS-sisältö
content: "\22A4";
Kukin ohjausjakso päättyy seuraavaan kenoviivaan; ennen kirjaimellista heksadesimaalinumeroa tarvitaan välilyönti.
URL-koodattu
%E2%8A%A4
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.