tokens: De esa época sería uno de los principales símbolos actuales de la ciudad , el denominado verraco , un toro de granito que fue hallado en la ciudad por los repobladores cristianos en tiempos del Alfonso III de Asturias y que para muchos dio su actual nombre a la ciudad .