Dirac bra-ket and set notations for LaTeX
