Download manual: HTML
identifier : $$ $ integer_constant $ integer_constant $ integer_constant $ letter_sequence
letter_sequence : letter letter* letter : a-zA-Z