A math search engine capable of indexing 1M docs · HackerTrans