https://123dok.net/document/y8g7ld2w-mathjax-formula-indistinguishability-mathjax-formula-quasisplit-unitary-dimension.html