а как зовут Антонину, антон*?

Answer 1

Имя римское. Несмотря на то, что напрашивается несколько вариантов уменьшительных и сокращённых имён, по-моему никогда никакие из них не употреблялись, кроме "Тоня". Имя Анна - Аня было чрезвычайно популярно, и имело много вариантов, Аня, Анюта, Нюра, Анечка, Аннушка. В этих условиях Антонину назвать Аней означало изменить общеупотребительное понимание имени Аня.
Поэтому Антонина для всех однозначно - Тоня.
Конечно, иногда парни её и Антоном назовут, чтобы нарочито показать свою развязность, "упрощая отношения", или при мужиковатом её поведении.
Но изящную и приятную девушку будут звать нежне.