Note: embedded PDF readers sometimes display problems. If weird characters are visible, download the file on your computer and open it with a pdf reader; these problems should disappear. This will also improve the ability to copy the code.