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

Models ⊧

U+22A7 • logic

Models Symbol

Models (⊧) is a symbol in logic denoting semantic entailment or satisfaction, indicating that a model satisfies a given formula or set of formulas. It is used in model theory to express truth in a structure or interpretation.

The Symbol For Models (⊧) 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-theorysemantic-entailmentsatisfactionsymbolmathematicsformal-semanticsnotationtruthinterpretation

Copy and paste the Models Symbol

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

⊧ Click to copy
  • Full Name: Models
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A7
  • Unicode Version: 1.1
  • Year Added: 1993