chapters/wigner-bec/truncation: some notation fixes
Removed the remains of copy-paste