MSL (Mathematical Symbolic Language) je vysokoúrovňový programovací jazyk vyvinutý skupinou Symbolic Computation Group na kanadské University of Waterloo. Je založen na programovacím jazyce Lisp a byl navržen pro symbolické výpočty, konkrétně počítačovou algebru.
MSL má řadu vlastností, díky nimž je vhodný pro symbolické výpočty, například výkonný systém přetěžování operátorů, automatické diferencování a podporu aritmetiky s libovolnou přesností. Má také řadu vestavěných matematických funkcí a datových typů, což usnadňuje psaní algoritmů a programů pro matematické výpočty.
MSL se používá v řadě komerčních i open-source softwarových projektů, například v systému počítačové algebry Maxima, v knihovně pro symbolické výpočty SymPy a v matematickém softwarovém systému Sage.