Circle minus inverse of circle plus
From timescalewiki
Theorem
The circle minus $\ominus_h$ is the inverse operation of the circle plus operation $\oplus_h$. Moreover, $$z \ominus_h w = z \oplus_h (\ominus_h w).$$
The circle minus $\ominus_h$ is the inverse operation of the circle plus operation $\oplus_h$. Moreover, $$z \ominus_h w = z \oplus_h (\ominus_h w).$$
