curry化を考えると演算子のとる引数の数は曖昧さがない方が良い。
↓
そこで値の負数をとる単項演算子と引き算の2項演算子のシンボルは別にしたい。
↓
〜というシンボルをnegateの機能にあてる事自体には必然性はない。
だが引き算演算子と違うシンボルである必然性は「言語の方針として」存在する。

あと>>328、君はソーカルが批判するような自然科学をでたらめに引用する人文系
学者のような匂いがする。なんとなく。