True Symbol
The ⊨ symbol is commonly used in logic to express that a statement is true in a model.
U+22A8
⊨ is the Unicode character named “TRUE” (U+22A8). It’s frequently used in formal logic and semantics to indicate a model satisfies a statement. You can copy it directly or use its escape sequences in code.
True Symbol Meaning
⊨ (Unicode name: TRUE, U+22A8) is most commonly seen in logical notation to express satisfaction or truth with respect to a model. In many texts, writing M ⊨ φ means that the structure/model M makes the statement φ true. This usage appears in semantics, model theory, and logic-based explanations in textbooks and technical writing. Because it’s a single, self-contained symbol, it’s also handy when typesetting “models/true in a model” relationships in documents, slide decks, and technical diagrams where standard equals signs or checkmarks don’t convey the same formal meaning.
Common uses
- •Writing logic and semantics notes (e.g., “M ⊨ φ” satisfaction)
- •Documenting model theory relationships in study materials
- •Labeling diagram nodes in logic/AI explanations (true in a model)
- •Adding formal assertions in research write-ups and LaTeX-adjacent drafts
- •Using a consistent “true in model” symbol in code comments or specs
Examples
⊨ True / Models Symbol
- ⊨M ⊨ φ holds when φ is satisfied by model M.
- ⊨If Γ ⊨ ψ, then every model that satisfies Γ also satisfies ψ.
- ⊨We check whether the given structure satisfies the formula.
- ⊨This framework uses ⊨ to indicate truth with respect to interpretations.
- ⊨In the proof, we establish that M ⊨ φ for the constructed model.
Variations
Ready to copy
Technical codes
| Unicode | U+22A8 | |
| HTML Entity | ⊨ | |
| HTML Code | ⊨ | |
| CSS | \22A8 | |
| Alt Code | Alt + 8872 | |
| Decimal | 8872 |
How to type True Symbol (⊨)
On Windows
Hold Alt and type 8872 on the numeric keypad. In Word, type 22A8 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22A8. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22a8, 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?
It’s commonly used to mean that a model satisfies a statement (e.g., M ⊨ φ), i.e., the statement is true in that model.
What is the Unicode code point for ⊨?
The character is at Unicode code point U+22A8.
How can I copy ⊨ into HTML?
You can use the HTML entity: ⊨.
How do I use ⊨ in CSS or JavaScript?
CSS escape: \\22A8. JavaScript escape: \\u{22A8}.