fixed syntax in latex causing trouble, now we only have ethe ugly shit agda font problem