Added syntax desc and some notation