Windows
2 options- In Word / Outlook: type 22A8 then press Alt + X.
- Anywhere: press Win + . to open the emoji & symbol picker, then search.
True Symbol
A symbol from the Math Symbols collection. Click the symbol or the button below to copy.
- Symbol
- ⊨
- Unicode
- U+22A8
- HTML entity
- ⊨
- Category
- Math Symbols
Export
Download True as a vector SVG or a raster PNG.
Preview
transparent background
Color applies to monochrome symbols; multicolor emoji keep their own colors. SVG uses the system font stack — open in any vector editor and convert to outlines if needed. PNGs have a transparent background.
70 of 96 in the math symbols collection
About the true symbol
The True symbol is a mathematical notation consisting of a vertical line with a short horizontal stroke extending to the right from its midpoint, resembling a turnstile or a right-angle bracket. It is used in logic and formal semantics to represent logical truth or semantic consequence, indicating that a statement is true in a given model or that a set of premises entails a conclusion. This symbol appears in textbooks and academic papers on metalogic, model theory, and the philosophy of language, where it helps express relationships between formulas and their interpretations.
How to type True
Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.
macOS
2 options- Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 22A8.
- Or: Control + Command + Space opens the Character Viewer — search by name.
Linux
1 step- Press Ctrl + Shift + U, type 22A8, then press Enter or Space.
Copy in every format
Every form of this character — for HTML, CSS, JavaScript, URLs and more. Click any value to copy.
Related math symbols
Other math symbols you can copy and paste — explore similar Unicode characters from the same family.
- +Plus SignCopy the plus sign symbol→
- −Minus SignCopy the minus sign symbol→
- ×Multiplication SignCopy the multiplication sign symbol→
- ÷Division SignCopy the division sign symbol→
- ±Plus-Minus SignCopy the plus-minus sign symbol→
- ∓Minus-Or-Plus SignCopy the minus-or-plus sign symbol→
- =Equals SignCopy the equals sign symbol→
- ≠Not Equal ToCopy the not equal to symbol→
- ≈Almost Equal ToCopy the almost equal to symbol→
- ≡Identical ToCopy the identical to symbol→
- ≤Less-Than Or Equal ToCopy the less-than or equal to symbol→
- ≥Greater-Than Or Equal ToCopy the greater-than or equal to symbol→
More math symbols
Explore related collections
Browse other symbol families that pair well with math symbols.