Unified the notations of the if statement. Also fixed the notations of some other statements.