Wigner kernel and Gabor matrix of operators | Synapse