\relax
\encoding

% digit2.etx  - This ETX file defines the \digit commands through
\setcommand\digit#1{#1/2}
% so that it will append a suffix /2 to the glyph name given.
% Use this with a "suffix /2" clause in \installfont to select
% digits from a different font that most of the glyphs.

\endencoding