Lots of information can be found in the Wikipedia article on IPv6, look under the Notation heading to see examples of how it looks on IRC. One example from my logs:

[01:18:48] * Nickname (user@2001:618:400:aee7::420) has joined #mIRC

Regards,

Mentality/Chris