I'd suggest that instead of all of those ''\( \oplus \) denote bitwise XOR operation on two nonnegative integers'', put that before all your maths into a ''Notation: '' line so that you do not have to repeat yourself.