Juan Antón

Juan Antón es una localidad española del municipio de El Madroño, perteneciente a la provincia de Sevilla, en la comunidad autónoma de Andalucía.Hacia mediados del siglo XIX, el lugar tenía contabilizada una población de 63 habitantes.[1]​ La localidad aparece descrita en el noveno volumen del Diccionario geográfico-estadístico-histórico de España y sus posesiones de Ultramar de Pascual Madoz de la siguiente manera: En la actualidad pertenece al municipio de El Madroño.[2]​ En 2022, la entidad singular de población tenía empadronados 26 habitantes y el núcleo de población 19 habitantes.[2]​