Fue llamado a veces "Pan" entre 1955 y 1975 (actualmente, Pan es el nombre de un satélite de Saturno).