The figureeditor uses this kind of notation for lines, graphs with no label. I took it over from there.