 Möbius maps commuting with reflection in the unit circle

The Möbius transformations commuting with $J(z)=1/\overline{z}$ are exactlyThey preserve the open unit disc exactly when $|a|>|b|$. The identityproves the latter assertion.