[Nition]

As far as I recall it was pretty common to call :-) etc emoticons back in the day. Like 1990s/early 2000s.