Open pbelmans opened 5 years ago
See https://stacks.math.columbia.edu/tag/03RD#comment-4231
OK, I have fixed this on the website by adding a bit of space in the latex file between the inequality sign and the next or preceding letter...
See https://stacks.math.columbia.edu/tag/03RD#comment-4231