The frozen Hadamard matrix

Thus $d$ is a smooth graded-symmetric bisolution. Smoothness does not mean compact support. Compact kernels make all its contractions proper on their supports. The wavefront sets of $H^{\prime }$ and $H$ agree.