more latex extensions
even more stuff...