>>421
バックスラッシュが円マークになってしまった。測度を入れるところの記述は補集合の意味。