CTAN update: erewhon-math