202229903

現実的には他の構文と被るけれど、あらゆる二項演算子に対応する単項演算子があってもいい気がする。加法の逆元演算子があって乗法の逆元演算子がないのはどうなの? という。