ISID II: A Fully Interactive Identification Module for Xmath