A method of adding an attribute into MathML for formula retrieval | IEEE Conference Publication | IEEE Xplore