Made using mathml2latex (MIT)