Right Tack
Part of Math Symbols
Right Tack has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⊢
- Unicode
- U+22A2
About this symbol
The turnstile ⊢ means “can be proved”: A ⊢ B says that B can be derived from A. It grew out of the judgement stroke in Gottlob Frege’s Begriffsschrift of 1879, one of the founding works of modern logic.
Unicode facts
- Official name
- RIGHT TACK
- Also called
- Turnstile, Proves, implies, yields, Reducible
- Type
- Maths symbol
- Unicode block
- Mathematical Operators
- Unicode group
- Operators
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.