paper/src/images/term_operator_uml.png
changeset 10 2283a18e186c