Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Mathematical Operators
U+22AC
U+22AC
DOES NOT PROVE
⊬
≡
canonical decomposition
U+22A2
⊢
RIGHT TACK
U+0338
◌̸
COMBINING LONG SOLIDUS OVERLAY