Parse error: syntax error, unexpected identifier "A�" in /misc/HomePages/UserHomePages/i57/beckert/pub/Lean_Evolving_Algebra_Compiler_CSL95.pdf on line 9