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

Forces ⊩

U+22A9 • logic

Forces Symbol

Forces (⊩) is a symbol in logic representing a forcing relation, used in set theory and model theory to indicate that a condition forces a formula to hold in a forcing extension. It is central to forcing techniques in advanced mathematical logic.

The Symbol For Forces (⊩) 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-theoryforcingmodel-theorysymbolmathematicsforcing-extensionnotationproof-theorysemantic

Copy and paste the Forces Symbol

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

⊩ Click to copy
  • Full Name: Forces
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A9
  • Unicode Version: 1.1
  • Year Added: 1993