hi, I'm doing a +rewriteArrowSymbols, which prints out that "RewriteArrowSymbols -> true" but it doesn't actually seem to turn them into unicode. -A