This is the Latex file of documentation