maxima-symbolic.svg