i think that every language should have a unary - and + operator, and that those should be idempotent. sign flipping should be done by multiplication with -1.
this holds for mathematics as well
a Schelling point for those who seek one
this holds for mathematics as well