As I said last entry, I'm working on a symbolic logic course and am learning new quirks for dealing with with Unicode logic symbols.and one of them apparently is the Microsoft Word Insert Symbol tool (this is found by going to Insert » Symbol in most versions of Word.