特に、1 formula_5 φ はp formula_5 φ とかformula_5 φとも書かれる。