Say a main character goes by a nickname, such as Jenny for Jennifer. The other main character always calls her Jennifer, but to everyone else, she's known as Jenny. Should I use her full name throughout the synopsis, or introduce her by her full name and then go on to use the nickname?