The example the SymPy behavior that matches the Python convention, maybe add something like "... exclusive or. This behavior has been implemented to work symbolically in SymPy:"