Muunnossäännön käyttäminen

Lausekkeessa esiintyvälle muuttujalle voidaan antaa arvo ns. muunnossäännön avulla. Muunnossääntö, jossa lausekkeen muuttuja korvataan jollakin arvolla, on muotoa muuttuja -> arvo. Nuoli koostuu tavuviivasta ja suurempi kuin -merkistä. Paletissa on myös nuolimerkki ->, jota voidaan käyttää. Korvausoperaattorin /. (kauttaviiva ja piste) avulla lausekkeelle voidaan sijoittaa muunnossääntö.

Muuttujalle x sijoitettiin arvo 1 vain korvauskäskyssä, joten muuttujan lauseke arvo pysyi ennallaan.

Samassa lausekkeessa voidaan korvata useita muuttujia samalla kertaa kirjoittamalla muunnossäännöt listaksi.

Mathematica antaa suuren osan tuloksista muunnossääntöinä. Korvausoperaattorilla tulos voidaan sijoittaa jonkin muuttujan arvoksi.