Change symbol from normal to gmp