gwhf Supplementary symbolic computations of proofs for the manuscript "Zeros of Gaussian Weyl-Heisenberg functions and hyperuniformity of charge" The notebook GWHFcalctau.ipynb contains the calculations performed in Section 6.3.