Reformatted some symbols

Really silly, I know. Just thought it helped readability.