add disjunction operator