Couldn't they just make their font have a ligature so that :-) turns into whatever they want? That's how some programming fonts make stuff like -> or != look different.