La laguna de la Gitana también recibe el nombre de laguna de la Cruz.