Symbolic calculator for GNOME
