As noted by the anonymous commenter, the decision to use the unicode character should be up the user. However, I can't see a way to accommodate user choice that is acceptable as API (an option arg or a setting are the only options I can think of, and I don't like either). Closing wontfix.