Conversation
|
As I mentioned above, I suspected I did not fully understand why the extra 0.2 was needed. Thanks for the |
|
@mdboom Indeed, setting |
|
@tacaswell, @mdboom: This is now conflicting with master because of the baseline images modified in #4873. In addition, some of the baseline images will conflict between this PR and #4887, so we should decide to merge one first and modify the other accordingly so we don't have to redo the baseline images several times. |
|
I think #4887 (which now also needs a rebase) should go in first as it is fixing a more glaring issue. Another option is to combine them. |
|
I agree on either #4887 going first and I'll rebase this, or combining them, whatever you prefer. |
|
Actually, it might be better if you combine this into #4887: the changes here are very small and we avoid multiple versions of baseline images in master. |
|
No objections from me to just combine this into #4887. |

Currently, most spaced symbols (=,+,\times, etc) appear to have a bigger space in front of them, so it looks weird, specially in scientific notation of numbers (e.g.,$2\times10^4$ , which shows as '2 x10^4' rather than '2 x 10^4').
This PR adds 0.2 to the space afters these spaced symbols to solve this situation. IMO, the look of test images is improved, but I don't really understand why the previous setup (0.2 space on either side) resulted in asymmetrical spacing.