>>696
すいません。記号の意味は分かったのですが、これは何らかの定理か公式なんですか?