add a test for the other bug in latex printing (@/@x^n instead of @/@^nx)