^ p | ^ ("