Icons from Maxima logo.