This code:
$ union.big_n U_n = union.big_n {x ∈ X | f(x) ∈ V_n} $
renders like this in the latest release (0.15.1):
The spacing after ⋃ looks too tight to me, especially before the opening brace. What would be the cleanest way to increase it globally? Also, should I open an issue about this?