Original: However, the plus sign is also used for Inclusive disjunction in some notation systems.
Simplified: This is from inclusive disjunction.