U+22a7
string(6) "MODELS"
string(0) ""
HTML Entity
⊧, ⊧ → ⊧
Block
Mathematical OperatorsNachbarn
← ⊦ ASSERTION MODELS
⊨ TRUE →
// 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)