U+22a6
string(9) "ASSERTION"
string(0) ""
HTML Entity
⊦, ⊦ → ⊦
Block
Mathematical OperatorsNachbarn
← ⊥ UP TACK ASSERTION
⊧ MODELS →
// related
encoding
Name En Dash
Unicode number
U+2013
HTML-code
–
CSS-code
\2013
Entity
–
Block General Punctuation
Unicode version: 1.1 (1993)
Alt code:
Alt 0150 (English keyboard layout)