Antonin, Antonín, and Antoñín are masculine given names. Antonín, a Czech name in use in the Czech Republic, and Antonin, a French name in use in France, and French-speaking countries, are both considered alternate forms of Antonino. Antoñín, a Spanish name in use in Spain and Spanish-speaking countries, is a diminutive form of Antonio. As a surname it is derived from the Antonius root name. Notable people with these names include: Given name: Antonin. Given name: Antonín. Nickname. Antoñín (footballer, born 2000), nickname of Antonio Cortés Heredia (born 2000), Spanish footballer.
https://en.wikipedia.org/wiki/Antonin_(name)