\modelsSymbol
The ⊧ symbol (Models, U+22A7), written as \models in LaTeX math mode.
- Allowed mode
- math
- Frequency
- 0.04% of corpus formulasrank 172 of 474
- Glyph
- ⊧
- Unicode
- U+22A7 · MODELS
TeXForm parses this entry as a character leaf mapped to U+22A7 (MODELS).