Here is a patch for the manual to help new users enable prettify-symbols-mode