tweak quantifier handling for (a) lone quantifier and (b) (non-ascii) quantifier symbols