Minimally usable formula input

Hooked up on the search and theorem create pages, with notes explaining
how to use them. Still several improvements to make there.