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

Not True ⊭

U+22AD • logic

Not True Symbol

Not true (⊭) is a symbol in logic denoting that a formula is not true in all models or interpretations, indicating failure of semantic entailment or validity. It expresses that a statement is not universally valid within a logical system.

The Symbol For Not 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-theorynon-validitytruthsymbolsemantic-entailmentmathematicsnotationformal-semanticsinterpretation

Copy and paste the Not True Symbol

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

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