TeX source:
A{:} V_3 /mapsto V_3