A project to typeset the ISV translation of the Bible using LaTeX