Currently, all notations are associated to a single symbol.
This is wrong in many cases...
Two examples include set(x \in X | blabla) and c*m which should be presented as cm (centi-meter).
Notation objects should allow the usage of other notations within their presentations or sub-trees of a notation-presentation should contain an association to a symbol...