José Antonio Villaseñor y Sánchez en “Teatro Americano”, indica que la República de Indios de Pachuca también se denominaba Pachuquilla.