These substitutions are applied to the docstrings when displayed in the terminal with ? and ??.

For example:

-    (r'\\leq', '<=')
+    (r'\\leq', '≤')