Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Miscellaneous Mathematical Symbols-A
U+27DD
U+27DD
LONG RIGHT TACK
⟝
→
cross-reference
U+22A2
⊢
RIGHT TACK