Чтобы вывести специальную стрелку, которую часто используют для указания во что переводит отображение конкретный элемент множества используйте команду \mapsto, так, например, для:
A: b \mapsto b_1
Получим:
$\Large A: b \mapsto b_1$
Или более длинную стрелку командой \longmapsto:
$\Large A: b \longmapsto b_1$