Burayı şu adlarla da biliyor olabilirsiniz:
San Anton mendia / Cima San Anton, Isla de San Anton, Cima San Anton, San Anton mendia
