En la bibliografía extremeña Jaén aparece con los nombre de Antón Alonso.