Removed dependence on pa-macro.tex, only \ra was used, which is just \to