macros: using tilde notation for Psi-vectors as well
chapters/wigner-spec: refactored