Re: [patch] request for permission to add more symbols to unicodesymbols file

[Juergen Spitzmueller]

Herbert Voss wrote:

> \newcommand*\DEL{{\fontencoding{U}\fontfamily{ascii}\selectfont\char127}}

perhaps \providecommand (in case the ascii package is already loaded).

Jürgen