Searching the ACL Anthology with Math Formulas and Text