latex source of the documentation