What is the correct power symbol for a pair of AC inputs?

Schematic Library Symbols
1

Hi,

I have a power supply that takes a 9VAC input. By convention what power symbol and net name should I use for those? I see a bunch of Vxx’s I haven’t used before in KiCad - VAA & VPP for example - do any of these standard symbols suit?

Thanks
Geoff