fix r"\u2220" bug mentioned in #107