Prior to CSCB58, we have not used “exclusive or” in statements. You could represent XOR w.r.t. and connectives like so: Or, you can also use the XOR () symbol itself, too.