Nótese que, en contraste con otros CAS, es necesario declarar las variables simbólicas antes de utilizarlas.