↦ im Gegensatz zu ↗ ist ein anderes Zeichen als ↦ im Gegensatz zu ⟼.