diminutive of the female given name Antonia, sometimes used as a formal given name.