Involutive antiautomorphism