Gallery: symbolic algebra examples