I stole this from e2 I hate to admit.
- ← — ← — ← — leftwards arrow, U2190 ISOnum
- ↑ — ↑ — ↑ — upwards arrow, U2191 ISOnum
- → — → — → — rightwards arrow, U2192 ISOnum
- ↓ — ↓ — ↓ — downwards arrow, U2193 ISOnum
- ↔ — ↔ — ↔ — left right arrow, U2194 ISOamsa
- ↵ — ↵ — ↵ — downwards arrow with corner leftwards, =carriage return, U21B5 NEW
- ⇐ — ⇐ — ⇐ — leftwards double arrow, U21D0 ISOtech
Unicode does not say that lArr is the same as the ‘is implied by’ arrow but also
does not have any other character for that function. So ? lArr can be used for
‘is implied by’ as ISOtech suggests
- ⇑ — ⇑ — ⇑ — upwards double arrow, U21D1 ISOamsa
- ⇒ — ⇒ — ⇒ — rightwards double arrow, U21D2 ISOtech
Unicode does not say this is the ‘implies’ character but does not have another
character with this function so ? rArr can be used for ‘implies’ as ISOtech suggests
- ⇓ — ⇓ — ⇓ — downwards double arrow, U21D3 ISOamsa
- ⇔ — ⇔ — ⇔ — left right double arrow, U21D4 ISOamsa