Synopsis edit

\chardef\<name>=<charcode>

Description edit

Equivalent of \def\<name>{\char<charcode>}

Example edit

\chardef\%="25