⇥

#arrow to bar #tab symbol #keyboard key #termination arrow #end marker #logic arrow

↦

#arrow from bar #maps to symbol #mapping arrow #logic arrow #function definition