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 |
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}.