Rename MyAssume to MyAssume.latex