paper/src/images/term_operator_uml.png
changeset 15 0d2daf4fcb99