All symbols starting with `a' in mint