| a | -> -a