Use "^" for conjunction, "|" for disjunction, "!" for negation, ">" for implication and "=" for bi-implication.