Introducing http://tom7.org/bovex

a paper about a new typesetting system that I wrote to produce the paper (and the talk’s slides). That system is called BoVeX and the paper is called Badness 0

From the mind of @[email protected]