# ⫱ U+2AF1 DOWN TACK WITH CIRCLE BELOW

- = necessarily satisfies
- → [U+27DF ⟟ UP TACK WITH CIRCLE ABOVE](/unicode/U+27DF.md)