All symbols starting with `o' in mint