General LaTeX cleanup: not drawing the dotted arrows by hand anymore, but a macro.