Oops, the method of filtering out foreign characters from the in-game manual, meant to keep players from adding foreign language notes to it and thereby crashing the game, accidentally removed a number of special punctuation marks as well! A pretty annoying bug, but not quite worth a hotfix.
If you want to spend more time reading the manual and in its proper form, until the next update you can use the external text version (which can also always be found online
here).