もしかしたら>>109を読み間違えたかもしれない。
＞マイナス記号は頭に出せると定義のほうが分かりやすいかもよ。
この部分は
「マイナス記号は頭に出せるという定義のほうが分かりやすいかもよ。」
の書き間違いか？だとしたら、>>110は撤回します。
確かに109の方が分かりやすいかもしれない。

ただ、109の場合、記号列の操作としての形式的な側面が
色濃く出てしまっていて、「掛け算とは何なのか？」が
分かりにくいかもしれない。