Title: Mathematical Aspects of Weyl Quantization and Phase