TeX source:
x\mapsto a\,x