En 1972, la estrella obtuvo oficialmente la designación de ZZ Ceti.