Unicode Character 'PLUS-MINUS SIGN' (U+00B1)

2020-06-24. The problem does not occur now.