On a semi-related note, bra-kets are just magical. Programmers who deride mathematical notations, and claim we should abolish equations in favor of pseudocode, should try to get a glimpse of their power.