# ⊬ U+22AC DOES NOT PROVE

- ≡ [U+22A2 ⊢ RIGHT TACK](/unicode/U+22A2.md) [U+0338 ◌̸ COMBINING LONG SOLIDUS OVERLAY](/unicode/U+0338.md)