All symbols starting with `p' in mint