Merge pull request gfngfn#333 from sankantsu/fix-spacing-at-beggining…

…-of-math Fix spacing of binary operator at the beggining of math equation (issue gfngfn#332)
Sapphire-Lilith · Aug 8, 2022 · 8e0d03b · 8e0d03b
2 parents 133dcfb + d04ea49
commit 8e0d03b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/frontend/math.ml b/src/frontend/math.ml
@@ -257,6 +257,7 @@ let normalize_math_kind mkprev mknext mkraw =
         | MathRelation
         | MathOpen
         | MathPunct
+        | MathEnd
             -> true
         | _ -> false
       in