⇍ coimplication: P⇍Q means that P is not necessary for Q ⇐ Arrows in Unicode (hexadecimal range 0x2190–0x21ff) ← ↑ → ↓ ↔ ↕ ↖ ↗ ↘ ↙ ↚ ↛ ↜ ↝ ↞ ↟ ↠ ↡ ↢ ↣...
⇐ converse implication ← ⊂ ⇍ Arrows in Unicode (hexadecimal range 0x2190–0x21ff) ← ↑ → ↓ ↔ ↕ ↖ ↗ ↘ ↙ ↚ ↛ ↜ ↝ ↞ ↟ ↠ ↡ ↢ ↣ ↤ ↥ ↦ ↧ ↨ ↩ ↪ ↫ ↬ ↭ ↮ ↯ ↰ ↱ ↲...