cf.AuxiliaryCoordinate.__add__ — Documentation
The binary arithmetic operation +
+
x.__add__(y) <==> x+y