といったようになる(ただしformula_3は、なんらかの演算の2項演算子とする)。