synatax