El nombre original fue el de Antonio de Gregorio Rocasolano, que por razones prácticas pronto se abrevió a su forma actual.