El diminutivo popular de la ciudad es simplemente "Antofa".