Wouldn't LaTex deductible be something like a math proof?

Does that mean you're asking for the donation to be in Lean?