Parse error: syntax error, unexpected character 0x0B in /misc/HomePages/UserHomePages/i57/beckert/pub/deduction-II-4.pdf on line 245