Create DLMFdefun.sty