a9.md: fixed latex.