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

Does Not Force ⊮

U+22AE • logic

Does Not Force Symbol

Does not force (⊮) is a symbol used in logic and set theory to indicate that a condition does not force a formula to hold in a forcing extension. It negates the forcing relation, important in forcing arguments and model theory.

The Symbol For Does Not Force (⊮) 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

logicset-theoryforcingnon-forcingsymbolmathematicsmodel-theorynotationproof-theorysemantic

Copy and paste the Does Not Force Symbol

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

⊮ Click to copy
  • Full Name: Does Not Force
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22AE
  • Unicode Version: 1.1
  • Year Added: 1993