Add ignore file and mathdefy.sty