Your Collection
Your collection items will appear here.
Login to download collections
True Symbol

True ⊨

U+22A8 • logic

True Symbol

True (⊨) is a symbol used in logic and model theory to denote that a formula is true in all models or interpretations, representing logical validity or semantic entailment. It expresses that a statement holds universally within a logical system.

The Symbol For True (⊨) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993

logicmodel-theoryvaliditytruthsymbolsemantic-entailmentmathematicsformal-semanticsnotationuniversality

Copy and paste the True Symbol

Copy the True dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.

⊨ Click to copy
  • Full Name: True
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A8
  • Unicode Version: 1.1
  • Year Added: 1993