vim/LaTeX: dsa to delete surrounding attributes/macros.
anton.sty: Use \ot for \leftarrow.