An interactive tool for math publishing.