rlvex: unicode and formatting