Formula manipulation languages

WIRIS (legally Maths for More, S.L.U.) is a software company based in Barcelona, Spain, that develops tools for editing, displaying, and assessing mathematical and scientific notation in digital environments. Its products are used in education, digital publishing, and online assessment, and integrate with learning management systems, office suites, and web applications. WIRIS is the current developer of the equation editor MathType.