Darstellung von Formeln und anderen mathematischen Objekten mittels mathematischer Symbole in Mathematik, Logik und Informatik.