remove obsolete \axiom* commands from util.ht