https://123dok.net/document/z1d488vp-mathjax-formula-quantization-mathjax-formula-multiplicities-discrete-series.html