Symbols with arrows
These symbols may be used anywhere in text∶
Description#Symbol | Grafstate code | |
|---|---|---|
Dotted right arrow | ⤑ | ..> |
Dashed up arrow | ⇡ | \:^ |
Dashed down arrow | ⇣ | \:v |
Dashed right arrow |  | --> |
Dashed left arrow | ∟ | <-- |
Dotted right arrow | ⤑ | ..> |
Wavy right arrow | ⟿ | ~> |
If and only if | ⟺ | <=> |
If | ⟸ | <= |
Only if | ⟹ | => |
Does not imply | ⇏ | !=> |
Not implied by | ⇍ | <=> |
Logical if and only if | ⟷ | <-> |
Logical if | ⟵ | <- |
Logical only if | ⟶ | -> |