o gets ightarrow leftarrow Rightarrow Leftarrow mapsto implies impliedby iff →, ←, →, ←, ⇒, ⇐, ↦, ⟹, ⟸, ⟺