Notice that there is a ¡­

Notice that there is a typo in the English version of Exercise 1e from the exam in 2002:

'Can you give an example of a system that can be shown terminating using the lexicographic path ordering but cannot be shown terminating using lpo?'

should of course be

'Can you give an example of a system that can be shown terminating using the exam ordering but cannot be shown terminating using lpo?'

Thanks to Benjamin Johansson for pointing out this embarrassing mistake!