Matematiksel işaretleme dili
Bir Matematiksel İşaretleme Dili, matematiksel notasyon temel alınarak matematiksel formülleri temsil etmek için kullanılan bir bilgisayar gösterimidir. Özel işaretleme dilleri gereklidir çünkü bilgisayarlar normalde doğrusal metin ve daha sınırlı karakter setleriyle uğraşır (Unicode için artan destek, çok basit kullanımları geçersiz kılsa da). Resmi olarak standartlaştırılmış bir sözdizimi, bilgisayarın başka türlü belirsiz olan içeriği yorumlamasına ve hatta değerlendirmesine de olanak tanır.