A pyramid web application for editing latex