(BB4) chapters/wigner-spec: added some preliminary definitions of the transformed expressions