Normal Form of Antiunitary Operators | Synapse