対数マスロフ和の反転公式

当たり前といえば当たり前だが

• -(a □_t b) = (-a) □_1/t (-b)

が成立する。

人生で初めて使う対数の底の変換は：

• log_a x = (log_b a)^-1 log_b x

なのだが、これにより、

• log_1/t x = (log_t(1/t))^-1 log_t x

つまり、

• log_1/t x = (-1)(log_t x)

これがあれば、上の等式は出る。

対数マスロフ代数の場合は、過去と未来の反転のようなことだろうか。直感的意味がよくわからない。