ごめんなさい、さっきので終わらせると言ったのにまだ修正が必要な式になっててごめんなさい
さらに連投を繰り返してごめんなさい、許してください・・・

<a>＝a
<a|b:c●>＝<a+a|b-1:c●>
<a●|0:b|c:d●>＝<a●|a:b|c-1:d●>
<a|0:b◎>＝<a[{|a:b-1}をa個]◎>
<a|0:0◎>＝<a◎>