概括 $$ \renewcommand{\bra}[1]{\langle #1|} \renewco ...