Short form of <a href="details.php?no=&n=ANTONIA">ANTONIA</a>. Its use was probably positively influenced by the name <a href="details.php?no=&n=TANYA">TANYA</a>.