This is almost like the align* environment, but it starts out in math mode, so we don't have to worry about the fact that we have no real surrounding text mode in KaTeX. This is the first step towards align* and align.