Symbols:Disjunction (Deprecated)