messy tex renderer
.