Added SYNTAX document