Some latex related extensions.