MSL (Mathematical Symbolic Language) je vysokoúrovňový programovací jazyk vyvinutý skupinou Symbolic Computation Group na Univerzite Waterloo v Kanade. Je založený na programovacom jazyku Lisp a bol navrhnutý na symbolické výpočty, konkrétne na počítačovú algebru.
MSL má niekoľko vlastností, vďaka ktorým je vhodný na symbolické výpočty, ako napríklad výkonný systém preťažovania operátorov, automatické diferenciácie a podpora aritmetiky s ľubovoľnou presnosťou. Má tiež množstvo zabudovaných matematických funkcií a dátových typov, čo uľahčuje písanie algoritmov a programov na matematické výpočty.
MSL sa používa v mnohých komerčných a open-source softvérových projektoch, ako je napríklad systém počítačovej algebry Maxima, knižnica symbolických výpočtov SymPy a matematický softvérový systém Sage.