ダブルプライム(その他表記)double prime