Well, my name doesn't have a nickname. I it did, then maybe it would depend on the person, but I think I'd still tell everyone my nickname. I mean, there's nothing necessarily informal about "Tony" if you only have the name "Anthony" on your papers, etc.