latex main file for the rules