A dynamic menu for interactive services on math formulas, based on the JOBAD framework