diacritical sign

diakritischen Zeichen Editorische Zeichen, die z. B. Korrekturen, Einblendungen, Umstellungen oder Unsicherheiten kennzeichnen

(Plachta 1997, 136)

Contributed by Wout. View changelog.