René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Thin space missing after mathtext operators","articleBody":"\u003c!--To help us understand and resolve your issue, please fill out the form to the best of your ability.--\u003e\r\n\u003c!--You can feel free to delete the sections that do not apply.--\u003e\r\n\r\n### Bug report\r\n\r\n**Bug summary**\r\n\r\nMathtext operators (`\\log`, `\\max`, etc.) should insert a thin space after themselves (if followed by ordinary characters, not if followed by an open parenthesis, see https://tex.stackexchange.com/questions/225922/spacing-rules-for-operatorname/225924#225924), but currently it does not.\r\n\r\n**Code for reproduction**\r\n\r\n\u003c!--A minimum code snippet required to reproduce the bug.\r\nPlease make sure to minimize the number of dependencies required, and provide\r\nany necessary plotted data.\r\nAvoid using threads, as Matplotlib is (explicitly) not thread-safe.--\u003e\r\n\r\n```python\r\nfrom pylab import *\r\nfigtext(.5, .6, r\"$\\log 6$ (usetex)\", usetex=True)\r\nfigtext(.5, .5, r\"$\\log 6$ (current)\")\r\nfigtext(.5, .4, r\"$\\mathdefault{log}\\,6$ (manual thin space)\")\r\nfigtext(.5, .3, r\"$\\mathdefault{log}\\ 6$ (manual full space)\")\r\nshow()\r\n```\r\n\r\n\r\n**Actual outcome**\r\n\r\n![out](https://user-images.githubusercontent.com/1322974/86836179-69769900-c09d-11ea-9271-59310788adf5.png)\r\nNote the missing thin space between \"g\" and \"6\" in the current behavior.\r\n\r\n**Matplotlib version**\r\n\u003c!--Please specify your platform and versions of the relevant libraries you are using:--\u003e\r\n  * Operating system: fedora\r\n  * Matplotlib version: master\r\n  * Matplotlib backend (`print(matplotlib.get_backend())`): qt5agg\r\n  * Python version: 38\r\n  * Jupyter version (if applicable):\r\n  * Other libraries: \r\n\r\n\u003c!--Please tell us how you installed matplotlib and python e.g., from source, pip, conda--\u003e\r\n\u003c!--If you installed from conda, please specify which channel you used if not the default--\u003e\r\n\r\n","author":{"url":"https://github.com/anntzer","@type":"Person","name":"anntzer"},"datePublished":"2020-07-07T20:02:53.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":4},"url":"https://github.com/17852/matplotlib/issues/17852"}