[Math] Macro proposal: \ket -> \left\vert #1\right\rangle