/00 Notations

One model. The notations you already use.

Every notation is a projection of the same element graph, so a change made in one view is true in all of them.