ここをこうすると上手くいくんじゃないかと思って、定義をじっと眺める。
Pの方は上手くいくが、\hat{P}はどうだろうなぁ。universal_2だろ? 面倒なことになる。