doc-src/iman.sty
changeset 4244 f50dace8be9f
parent 3491 59ffc1c83403
child 5752 c3df312f34a2
equal deleted inserted replaced
4243:d7b8dd960514 4244:f50dace8be9f
   140 \chardef\ttilde=`\~     % A tilde for \tt font
   140 \chardef\ttilde=`\~     % A tilde for \tt font
   141 \chardef\ttback=`\\     % A backslash for \tt font
   141 \chardef\ttback=`\\     % A backslash for \tt font
   142 \chardef\ttlbrace=`\{   % A left brace for \tt font
   142 \chardef\ttlbrace=`\{   % A left brace for \tt font
   143 \chardef\ttrbrace=`\}   % A right brace for \tt font
   143 \chardef\ttrbrace=`\}   % A right brace for \tt font
   144 
   144 
   145 \newfont{\sltt}{cmsltt10}     %% for output from terminal sessions
   145 \newcommand\out{\ \ttfamily\slshape}   %% for output from terminal sessions
   146 \newcommand\out{\ \sltt}
       
   147 
   146 
   148 % The mathcodes for the letters A, ..., Z, a, ..., z are changed to
   147 % The mathcodes for the letters A, ..., Z, a, ..., z are changed to
   149 % generate text italic rather than math italic by default. This makes
   148 % generate text italic rather than math italic by default. This makes
   150 % multi-letter identifiers look better. The mathcode for character c
   149 % multi-letter identifiers look better. The mathcode for character c
   151 % is set to |"7000| (variable family) + |"400| (text italic) + |c|.
   150 % is set to |"7000| (variable family) + |"400| (text italic) + |c|.