A⁺ | a^-