Documented predefined symbols.
Improved look of the document.