Arsenal have revealed that Jose Antonio Reyes has joined Atletico Madrid for an undisclosed fee.
Reyes, who spent last season on loan at Real Madrid, has signed a four-year deal with the Spanish.
An Arsenal statement said: “Everyone at Arsenal thanks Jose Antonio for his contribution to the club and wishes him the best of luck for the future.”
Lyon also made a bid for Reyes, who cost Arsenal £10.5m when he arrived from Sevilla four years ago, but the player was always keen to stay in Spain.
Reyes, who has won 21 caps for Spain, made a total of 110 appearances for the Gunners and scored 23 goals.