TeX source:
ID \mapsto b