Is there a way to search the literature for specific instances of formulas (and variants), perhaps using $\rm\LaTeX$ code?