added & and | convenience symbols for conjunction/disjunction;