Formula editors

LaTeX ( or , to rhyme with "blech"), often stylized as '''''', is a software system for typesetting documents, based on the TeX typesetting system. LaTeX provides a high-level, descriptive markup language to use TeX more easily: TeX handles the document layout, while LaTeX handles the content side for document processing. Because the plain TeX formatting commands are elementary, it provides authors with ready-made commands for formatting and layout requirements such as chapter headings, footnotes, cross-references and bibliographies.

computational software program

LyX (styled as ''''''; pronounced ) is an open source, graphical user interface document processor based on the LaTeX typesetting system. Unlike most word processors, which follow the WYSIWYG ("what you see is what you get") paradigm, LyX has a WYSIWYM ("what you see is what you mean") approach, where what shows up on the screen roughly depicts the semantic structure of the page and is only an approximation of the document produced by TeX.

MathType is a software application created by Design Science that allows the creation of mathematical notation for inclusion in desktop and web applications.

a computer program that is used to typeset mathematical works or formulae

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.