Nah, you got it the wrong way round: $a += $b should be a relational operator like $a >= $b. It obviously has the semantic $a is more positive than $b, so it has an obvious application in fuzzy logic algorithms where we want to know which of two states is more likely to be true.