Have your coworker hit the ¶ button on his/her toolbar. Those are
non-printing characters and are very helpful when you are formatting a
document but a lot of people don't like them. (I think it's because it shows
them how much they don't know about proper formatting.) Personally I'd like
to add that feature to other programs.
