Definition: There exists an anti-automorphism $\tau:R\to R$ such that $\tau^2$ is the identity map on $R$.
(No citations retrieved.)