update test program: we match amsmath now