Los romanos le dieron el apellido a San Antonio: Portus Magnus, que quiere decir puerto grande, palabra que ha evolucionado a Portmany.