重の矢印演算子をformula_13と略記することにする。