unicode

Unicode glyph used in plain-text contexts and as DOT-label placeholder.