What ⫱ means
Roughly: “this necessarily satisfies that.” It is built from the down tack , which in logic stands for “top”, the always-true value, with a circle added under the stem. Logicians use relation signs of this family (, , ) to talk about truth, proof and satisfaction, and Unicode's note for ⫱ places it there: a relation saying one thing must satisfy another.
It came into Unicode in 2002 with a large set of extra mathematical operators gathered so that published notation could be typed as text. Because it is rare, any paper that uses it should define it; trust the author's definition over the general gloss. To an untrained eye it looks like a pin, key or pendulum, which is how many people search for it.
Pure technical notation; outside a formula it is just a decorative shape.
Part of collections
Don't confuse it with
3
Questions people ask
2Is ⫱ an emoji?
No. It is a text maths symbol, so how it looks depends on your font, and some devices show an empty box.
Does ⫱ mean the same as ?
No. is the standard “satisfies” or “entails” sign; ⫱ is a rarer variant whose exact use the author must define.
More like this
10
How to type or find ⫱
- Also called
- necessarily satisfies · T with circle below · topcir
- Search it as
- T with circle · down tack circle · logic symbol · math operator · pin symbol · pendulum symbol
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⫱\2AF1Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.