S º (N • H) / S Ú ~N // S É H Those are not the standard symbols for logic. The computer program may have changed them. Copy and paste these ~ for negation v for " or " or " disjunction ". • for " and " or " conjunction ". ⊃ for " if...then " or conditional. and repost. Edwin