Weyl quantization