} | a '^