You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The plus-or-minus unicode parser token ± is great,
but painful to use (who can remember the unicode...).
We should replace it with something easier to use, but
at least somewhat meaningful. Maybe a ~?
The text was updated successfully, but these errors were encountered:
The plus-or-minus unicode parser token
±
is great,but painful to use (who can remember the unicode...).
We should replace it with something easier to use, but
at least somewhat meaningful. Maybe a
~
?The text was updated successfully, but these errors were encountered: