%   This file is the InforML encoding, which I developed to provide a 
%   mapping for whatever Unicode symbols that may be used in InforML 
%   programming.
%
%   It is based upon the »cork« encoding, aka TeX Latin 1, aka tex256, as
%   described in TTN 1(4), December 1992, and TUGboat 11(4), November
%   1990, page 514. EC is the name of the Computer Modern-based fonts in
%   this encoding. NFSS and Fontinst know it by `T1'.
%
%   These are the ligs and kerns in addition to those found in the
%   AFM file.  (The only ligs in the Times-Roman.afm file are the
%   fi and fl ligatures.)
%
% LIGKERN space l =: lslash ; space L =: Lslash ;
% LIGKERN question quoteleft =: questiondown ; exclam quoteleft =: exclamdown ;
% LIGKERN hyphen hyphen =: endash ; endash hyphen =: emdash ;
% LIGKERN quoteleft quoteleft =: quotedblleft ;
% LIGKERN quoteright quoteright =: quotedblright ;
%
%   We remove kerns to and from spaces (TeX doesn't have a
%   space) and also remove any kerns from the numbers (although
%   the only kern pair that mentions a number in Times-Roman.afm
%   is one one.)
%
% LIGKERN space @{@} * ; * @{@} space ; zero @{@} * ; * @{@} zero ;
% LIGKERN one @{@} * ; * @{@} one ; two @{@} * ; * @{@} two ;
% LIGKERN three @{@} * ; * @{@} three ; four @{@} * ; * @{@} four ;
% LIGKERN five @{@} * ; * @{@} five ; six @{@} * ; * @{@} six ;
% LIGKERN seven @{@} * ; * @{@} seven ; eight @{@} * ; * @{@} eight ;
% LIGKERN nine @{@} * ; * @{@} nine ;
% LIGKERN comma comma =: quotedblbase ; less less =: guillemotleft ;
% LIGKERN greater greater =: guillemotright ;
%
/InforMLEncoding [          % now 256 chars follow
% 0x00
  /grave /acute /circumflex /tilde /dieresis /hungarumlaut /ring /caron
  /breve /macron /dotaccent /cedilla
  /ogonek /quotesinglbase /guilsinglleft /guilsinglright
% 0x10
  /quotedblleft /quotedblright /quotedblbase /guillemotleft 
  /guillemotright /endash /emdash /compwordmark
  /perthousandzero /dotlessi /dotlessj /ff /fi /fl /ffi /ffl
% 0x20
  /visualspace /exclam /quotedbl /numbersign
  /dollar /percent /ampersand /quoteright
  /parenleft /parenright /asterisk /plus /comma /hyphen /period /slash
% 0x30
  /zero /one /two /three /four /five /six /seven
  /eight /nine /colon /semicolon /less /equal /greater /question
% 0x40
  /at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O
% 0x50
  /P /Q /R /S /T /U /V /W
  /X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore
% 0x60
  /quoteleft /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o
% 0x70
  /p /q /r /s /t /u /v /w
  /x /y /z /braceleft /bar /braceright /asciitilde /hyphen
% 0x80
  /Abreve /Aogonek /Cacute /Ccaron /Dcaron /Ecaron /Eogonek /Gbreve
  /Lacute /Lcaron /Lslash /Nacute /Ncaron /Ng /Ohungarumlaut /Racute
% 0x90
  /Rcaron /Sacute /Scaron /Scedilla
  /Tcaron /Tcedilla /Uhungarumlaut /Uring
  /Ydieresis /Zacute /Zcaron /Zdotaccent /IJ /Idotaccent /dbar /section
% 0xA0
  /abreve /aogonek /cacute /ccaron /dcaron /ecaron /eogonek /gbreve
  /lacute /lcaron /lslash /nacute /ncaron /ng /ohungarumlaut /racute
% 0xB0
  /rcaron /sacute /scaron /scedilla
  /tquoteright /tcedilla /uhungarumlaut /uring
  /ydieresis /zacute /zcaron /zdotaccent
  /ij /exclamdown /questiondown /sterling
% 0xC0
  /uni2293 /uni2294 /uni22a4 /uni22a5
  /uni27e8 /uni27e9 /uni2200 /uni2203
  /uni00b1 /uni25c1 /uni2113 /uni041b
  /zero /zero /zero /zero
% 0xD0 
  /Delta /Gamma /Theta /Lambda 
  /Xi /Pi /Sigma /Phi 
  /Psi /Omega /zero /zero 
  /zero /zero /zero /zero
% 0xE0
  /alpha /beta /gamma /delta
  /epsilon /zeta /eta /theta 
  /iota /kappa /lambda /mu 
  /nu /xi /pi /rho 
% 0xF0
  /sigma /tau /upsilon /phi 
  /chi /psi /omega /zero
  /zero /zero /zero /zero
  /zero /zero /zero /zero  
] def