better notation for nested x_nodes and some markup/comments