This is a new typesetting system based on a markup language. It's more concise and effortless to learn than the well-known LaTeX, and it produces beautiful formulas with the capability of switching various fonts.