Models Symbol
The ⊧ symbol, named “models” (U+22A7), is used to express that a model satisfies a statement.
U+22A7
The symbol ⊧ is commonly read as “models.” It appears in logic and math writing to state that something holds in a particular model. Use it in notes, typesetting, and developer-friendly text where Unicode is supported.
Models Symbol Meaning
⊧ (Unicode U+22A7, “MODELS”) is the “models” relation used most often in logic and foundations of mathematics. It is typically read as “M ⊧ φ,” meaning that model M satisfies the formula or statement φ. In other words, the statement is true according to the rules/interpretation provided by the model. In plain writing, you might encounter it in proof texts, formal semantics, model checking, or logic documentation to connect a structure (model) with the truth of a condition (formula). Because it’s a single, specific relation symbol, it’s often preferred over words when authoring technical material.
Common uses
- •Write formal logic statements like “M ⊧ φ” in proofs or notes
- •Document model checking results using “model satisfies property” notation
- •Label sections in logic/semantics textbooks or lecture slides
- •Indicate satisfaction in automated reasoning documentation
- •Use in markdown, scripts, or design mockups where Unicode math symbols are expected
Examples
⊧ Models symbol (U+22A7)
- ⊧M ⊧ φ means φ holds in model M.
- ⊧A ⊧ ψ if structure A satisfies sentence ψ.
- ⊧Theorem: if Γ ⊧ χ then χ is entailed by Γ.
- ⊧We check whether M ⊧ ϑ for each candidate model.
- ⊧In the semantics, M ⊧ α characterizes truth.
Variations
Ready to copy
Technical codes
| Unicode | U+22A7 | |
| HTML Entity | ⊧ | |
| HTML Code | ⊧ | |
| CSS | \22A7 | |
| Alt Code | Alt + 8871 | |
| Decimal | 8871 |
How to type Models Symbol (⊧)
On Windows
Hold Alt and type 8871 on the numeric keypad. In Word, type 22A7 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22A7. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22a7, then press Enter or Space.
Anywhere
Copy ⊧ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does ⊧ mean in logic?
It is the “models” relation, typically read as “M ⊧ φ,” meaning model M satisfies the formula φ.
What is the Unicode and HTML code for ⊧?
The symbol ⊧ is Unicode U+22A7, HTML entity ⊧, CSS escape \\22A7, and JavaScript escape \\u{22A7}.
Where can I use ⊧ safely?
You can use it in math/logic documentation, lecture notes, technical writing, and developer text fields that support Unicode.
How do I type ⊧ on a keyboard?
You can copy it directly from this page, or insert it using Unicode input, the HTML entity ⊧, or the provided escape sequences.