Symbolic calculator for GNOME