syntax definitions