stub for ArXiv search box