「三角乗法の展開」は

　　　　　　t_t
a_t →＜　△
　　　　　t_l　t_r

　　　　　　l_t
a_l →＜　△
　　　　　l_l　l_r

　　　　　　r_t
a_r →＜　△
　　　　　r_l　r_r

とするとき、

t_l = l_t かつ l_r = r_l かつ r_t = t_r

のときのみ定義され

　　　　　　　　　　　　t_t
　　a_t　　　　　　　　△
　　△　　＞→　t_l　△ r_t
a_l　　a_r　　　　△　　　△
　　　　　　　　l_l　　l_r　　　r_r

のように書きます。