Initial commit

19 files changed, 2899 insertions, 0 deletions

diff --git a/dviware/catdvi/enc/README b/dviware/catdvi/enc/README
new file mode 100644
index 0000000000..14c1b9c492
--- /dev/null
+++ b/dviware/catdvi/enc/README
@@ -0,0 +1,89 @@
+The *.enc files in this directory are in the DVIPS ENC format.
+
+Here's the description of that format, pasted from the dvips manual.
+Note that we ignore the ligature and kerning information.
+
+-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-
+
+  Afm2tfm's encoding files have the same format as an encoding vector
+in a PostScript font.  Here is a skeletal example:
+
+     % Comments are ignored, unless the first word after the percent sign
+     % is `LIGKERN'; see below.
+     /MyEncoding [ % exactly 256 entries follow, each with a leading `/'
+       /Alpha /Beta /Gamma /Delta ...
+       /A /B ... /Z
+       ...  /.notdef /xfooaccent /yfooaccent /zfooaccent
+     ] def
+
+  These encoding files are downloaded as part of changing the encoding
+at the PostScript level (see the previous section).
+
+  Comments, which start with a percent sign and continue until the end
+of the line, are ignored unless they start with `LIGKERN' (see below).
+
+  The first non-comment word of the file must start with a forward slash
+`/' (i.e., a PostScript literal name) and defines the name of the
+encoding.  The next word must be an left bracket `['.  Following that
+must be precisely 256 character names; use `/.notdef' for any that you
+want to leave undefined.  Then there must be a matching right bracket
+`]'.  A final `def' token is optional.  All names are case-sensitive.
+
+  Any ligature or kern information is given as a comment.  If the first
+word after the `%' is `LIGKERN', then the entire rest of the line is
+parsed for ligature and kern information.  This ligature and kern
+information is given in groups of words: each group is terminated by a
+space and a semicolon and (unless the semicolon is at the end of a
+line) another space.
+
+  In these `LIGKERN' statements, three types of information may be
+specified.  These three types are ligature pairs, kerns to ignore, and
+the character value of this font's boundary character.
+
+  Throughout a `LIGKERN' statement, the boundary character is specified
+as `||'. To set the font's boundary character value for TeX:
+
+     % LIGKERN || = 39 ;
+
+  To indicate a kern to remove, give the names of the two characters
+(without the leading slash) separated by `{}', as in `one {} one ;'.
+This is intended to be reminiscent of the way you might use `{}' in a
+TeX file to turn off ligatures or kerns at a particular location.
+Either or both of the character names can be given as `*', which is a
+wild card matching any character; thus, all kerns can be removed with
+`* {} * ;'.
+
+  To specify a ligature, specify the names of the pair of characters,
+followed by the ligature operation (as in Metafont), followed by the
+replacing character name.  Either (but not both) of the first two
+characters can be `||' to indicate a word boundary.
+
+  The most common operation is `=:' meaning that both characters are
+removed and replaced by the third character, but by adding the `|'
+character on either side of the `=:', you can retain either or both of
+the two leading characters.  In addition, by suffixing the ligature
+operation with one or two `>' signs, you can make the ligature scanning
+operation skip that many resulting characters before proceeding.  This
+works just like in Metafont.  For example, the `fi' ligature is
+specified with `f i =: fi ;'.  A more convoluted ligature is `one one
+|=:|>> exclam ;' which separates a pair of adjacent `1''s with an
+exclamation point, and then skips over two of the resulting characters
+before continuing searching for ligatures and kerns.  You cannot give
+more >'s than |'s in an ligature operation, so there are a total of
+eight possibilities:
+
+     =: |=: |=:> =:| =:|> |=:| |=:|> |=:|>>
+
+  The default set of ligatures and kerns built in to Afm2tfm is:
+
+     % LIGKERN question quoteleft =: questiondown ;
+     % LIGKERN exclam quoteleft =: exclamdown ;
+     % LIGKERN hyphen hyphen =: endash ; endash hyphen =: emdash ;
+     % LIGKERN quoteleft quoteleft =: quotedblleft ;
+     % LIGKERN quoteright quoteright =: quotedblright ;
+     % LIGKERN space {} * ; * {} space ; 0 {} * ; * {} 0 ;
+     % LIGKERN 1 {} * ; * {} 1 ; 2 {} * ; * {} 2 ; 3 {} * ; * {} 3 ;
+     % LIGKERN 4 {} * ; * {} 4 ; 5 {} * ; * {} 5 ; 6 {} * ; * {} 6 ;
+     % LIGKERN 7 {} * ; * {} 7 ; 8 {} * ; * {} 8 ; 9 {} * ; * {} 9 ;
+
+-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-
\ No newline at end of file
diff --git a/dviware/catdvi/enc/amssymba.enc b/dviware/catdvi/enc/amssymba.enc
new file mode 100644
index 0000000000..ccd7e9e4fd
--- /dev/null
+++ b/dviware/catdvi/enc/amssymba.enc
@@ -0,0 +1,220 @@
+% Encoding of AMS math symbols, group A (MSAM)
+%
+/AMSSymbolsAEncoding [
+% 0x00  (  0)
+/$boxdot
+/$boxplus
+/$boxmultiply
+/$box
+
+/filledbox
+/$filledboxsmall
+/lozenge
+/$filledlozenge
+
+/$arrowclockwise
+/$arrowanticlockwise
+/$harpoonsrightleft
+/$harpoonsleftright
+
+/$boxminus
+/$forces
+/$forcestriplevbar
+/$true
+
+% 0x10  ( 16)
+/$twoheadarrowright
+/$twoheadarrowleft
+/$arrowsleftleft
+/$arrowsrightright
+
+/$arrowsupup
+/$arrowsdowndown
+/$harpoonupbarbright
+/$harpoondownbarbright
+
+/$harpoonupbarbleft
+/$harpoondownbarbleft
+/$tailarrowright
+/$tailarrowleft
+
+/$arrowsleftright
+/$arrowsrightleft
+/$arrowuptipleft
+/$arrowuptipright
+
+% 0x20  ( 32)
+/$squigarrowright
+/.notavail % leftrightsquigarrow
+/$looparrowleft
+/$looparrowright
+
+/$ringequal
+/$followssimilar
+/$greatersimilar
+/$greaterapprox
+
+/$multimap
+/therefore
+/$because
+/$dotequaldot
+
+/$deltaequal
+/$precedessimilar
+/$lesssimilar
+/$lessapprox
+
+% 0x30  ( 48)
+/$equalslantedless
+/$equalslantedgreater
+/$equalprecedes
+/$equalfollows
+
+/$precedesequal
+/$lessequal2
+/$lessequalslanted
+/$lessgreater
+
+/$minutereversed
+/.notavail % dash for shaft of dashed arrows
+/$risingdotsequal
+/$fallingdotsequal
+
+/$followsequal
+/$greaterequal2
+/$greaterequalslanted
+/$greaterless
+
+% 0x40  ( 64)
+/$subsetsq
+/$supersetsq
+/$normalizes
+/$normalin
+
+/$reflexnormalizes
+/$reflexnormalin
+/$star
+/$between
+
+/triagdn
+/$triangleright
+/$triangleleft
+/.notavail % right pointing tip for dashed arrows
+
+/.notavail % left pointing tip for dashed arrows
+/$triagwhiteup
+/triagup
+/$triagwhitedn
+
+% 0x50  ( 80)
+/$ringinequal
+/$lessequalgreater
+/$greaterequalless
+/$lessequalgreaterstacked
+
+/$greaterequallessstacked
+/yen
+/$arrowtripleright
+/$arrowtripleleft
+
+/$checkmark
+/$veebar
+/$barwedge
+/$doublebarwedge
+
+/angle
+/$measuredangle
+/$sphericalangle
+/proportional
+
+% 0x60  ( 96)
+/$smile %smallsmile
+/$frown %smallfrown
+/$subsetdbl
+/$supersetdbl
+
+/$uniondbl
+/$intersectiondbl
+/$curlywedge
+/$curlyvee
+
+/$leftthreetimes
+/$rightthreetimes
+/$subsetequal2
+/$supersetequal2
+
+/$bumpequal
+/$bumpdentequal
+/$lessverymuch
+/$greaterverymuch
+
+% 0x70  (112)
+/$ulcorner
+/$urcorner
+/registered
+/$circleS
+
+/$pitchfork
+/$dotplus
+/$similarreversed
+/$similarequalreversed
+
+/$llcorner
+/$lrcorner
+/$maltesecross
+/$complement
+
+/$intercalate
+/$circlering
+/$circleasterisk
+/$circledash
+
+% 0x80  (128)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90  (144)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0  (160)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0  (176)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0  (192)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0  (208)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0  (224)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0  (240)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/amssymbb.enc b/dviware/catdvi/enc/amssymbb.enc
new file mode 100644
index 0000000000..b6c64a1e8d
--- /dev/null
+++ b/dviware/catdvi/enc/amssymbb.enc
@@ -0,0 +1,220 @@
+% Encoding of AMS math symbols, group B (MSBM)
+%
+/AMSSymbolsBEncoding [
+% 0x00  (  0)
+/$lessnotequal % glyph variant of code point 0x07
+/$greaternotequal % glyph variant of code point 0x08
+/$notlessequal
+/$notgreaterequal
+
+/$notless
+/$notgreater
+/$precedesnot
+/$followsnot
+
+/$lessnotequal
+/$greaternotequal
+/$notlessequalslanted
+/$notgreaterequalslanted
+
+/$lessnotequal1
+/$greaternotequal1
+/$notprecedesequal % Unicode character chart has slightly different shape
+/$notfollowsequal % Unicode character chart has slightly different shape
+
+% 0x10  ( 16)
+/$precedesnotsimilar
+/$followsnotsimilar
+/$lessnotsimilar
+/$greaternotsimilar
+
+/$notlessequal2
+/$notgreaterequal2
+/$precedesnotequal
+/$followsnotequal
+
+/$precedesnotapprox
+/$followsnotapprox
+/$lessnotapprox
+/$greaternotapprox
+
+/$notsimilar % bold glyph variant
+/$notcongruent
+/$divisionslashbig
+/$divisionbackslashbig
+
+% 0x20  ( 32)
+/$subsetnotequal % glyph variant of code point 0x28
+/$supersetnotequal % glyph variant of code point 0x29
+/$notsubsetequal2
+/$notsupersetequal2
+
+/$subsetnotequal2
+/$supersetnotequal2
+/$subsetnotequal2 % glyph variant of code point 0x24
+/$supersetnotequal2 % glyph variant of code point 0x25
+
+/$subsetnotequal
+/$supersetnotequal
+/$notsubsetequal
+/$notsupersetequal
+
+/$notparallel
+/$dividesnot
+/$dividesnot % short glyph variant
+/$notparallel % short glyph variant
+
+% 0x30  ( 48)
+/$provesnot
+/$forcesnot
+/$nottrue
+/$notforcesdoublehbar
+
+/$notreflexnormalizes
+/$notreflexnormalin
+/$notnormalin
+/$notnormalizes
+
+/$notarrowleft
+/$notarrowright
+/$notarrowdblleft
+/$notarrowdblright
+
+/$notarrowdblboth
+/$notarrowboth
+/$divideontimes
+/emptyset
+
+% 0x40  ( 64)
+/$notexistential
+/$Amathbb
+/$Bmathbb
+/$Cdblstruck
+
+/$Dmathbb
+/$Emathbb
+/$Fmathbb
+/$Gmathbb
+
+/$Hdblstruck
+/$Imathbb
+/$Jmathbb
+/$Kmathbb
+
+/$Lmathbb
+/$Mmathbb
+/$Ndblstruck
+/$Omathbb
+
+% 0x50  ( 80)
+/$Pdblstruck
+/$Qdblstruck
+/$Rdblstruck
+/$Smathbb
+
+/$Tmathbb
+/$Umathbb
+/$Vmathbb
+/$Wmathbb
+
+/$Xmathbb
+/$Ymathbb
+/$Zdblstruck
+/$hatxwide
+
+/$hatxwide
+/$tildexwide
+/$tildexwide
+/.notdef
+
+% 0x60  ( 96)
+/$Finv
+/$Game
+/.notdef
+/.notdef
+
+/.notdef
+/.notdef
+/$Mho
+/eth
+
+/$equalsimilar
+/$beth
+/$gimel
+/$daleth
+
+/$lessdot
+/$greaterdot
+/$lefttimes
+/$righttimes
+
+% 0x70  (112)
+/bar % short glyph variant
+/$parallel % short glyph variant
+/$setminus
+/similar % bold glyph variant
+
+/approxequal % bold glyph variant
+/$approxequal1
+/$followsapprox
+/$precedesapprox
+
+/$curvearrowleft
+/$curvearrowright
+/$digamma
+/$kappa1
+
+/$kmathbb
+/$planckhbar % glyph variant of code point 0x7e
+/$planckhbar
+/$epsilon1inv
+
+% 0x80  (128)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90  (144)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0  (160)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0  (176)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0  (192)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0  (208)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0  (224)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0  (240)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/blackboard.enc b/dviware/catdvi/enc/blackboard.enc
new file mode 100644
index 0000000000..19e9f8410d
--- /dev/null
+++ b/dviware/catdvi/enc/blackboard.enc
@@ -0,0 +1,163 @@
+% The encoding of the `blackboard bold math' (bbm) fonts.
+%
+/BlackboardEncoding [
+% 0x00  (  0)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10  ( 16)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20  ( 32)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/$parenleftwhite
+/$parenrightwhite
+/.notdef
+/.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x30  ( 48)
+/.notdef
+/$onemathbb
+/$twomathbb
+/.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x40  ( 64)
+/.notdef
+/$Amathbb
+/$Bmathbb
+/$Cdblstruck
+
+/$Dmathbb
+/$Emathbb
+/$Fmathbb
+/$Gmathbb
+
+/$Hdblstruck
+/$Imathbb
+/$Jmathbb
+/$Kmathbb
+
+/$Lmathbb
+/$Mmathbb
+/$Ndblstruck
+/$Omathbb
+
+% 0x50  ( 80)
+/$Pdblstruck
+/$Qdblstruck
+/$Rdblstruck
+/$Smathbb
+
+/$Tmathbb
+/$Umathbb
+/$Vmathbb
+/$Wmathbb
+
+/$Xmathbb
+/$Ymathbb
+/$Zdblstruck
+/$bracketleftwhitemath
+
+/.notdef
+/$bracketrightwhitemath
+/.notdef
+/.notdef
+
+% 0x60  ( 96)
+/.notdef
+/$amathbb
+/$bmathbb
+/$cmathbb
+
+/$dmathbb
+/$emathbb
+/$fmathbb
+/$gmathbb
+
+/$hmathbb
+/$imathbb
+/$jmathbb
+/$kmathbb
+
+/$lmathbb
+/$mmathbb
+/$nmathbb
+/$omathbb
+
+% 0x70  (112)
+/$pmathbb
+/$qmathbb
+/$rmathbb
+/$smathbb
+
+/$tmathbb
+/$umathbb
+/$vmathbb
+/$wmathbb
+
+/$xmathbb
+/$ymathbb
+/$zmathbb
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x80  (128)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90  (144)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0  (160)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0  (176)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0  (192)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0  (208)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0  (224)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0  (240)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/cork.enc b/dviware/catdvi/enc/cork.enc
new file mode 100644
index 0000000000..12b77c53a3
--- /dev/null
+++ b/dviware/catdvi/enc/cork.enc
@@ -0,0 +1,100 @@
+%   This is the Cork encoding, aka EC, Cork, aka TeX Latin 1, 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 blow away 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 ;
+%
+/CorkEncoding [          % 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
+/$ZWNJ  %/compworkmark
+/zero  %/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 
+/Eng  %/Ng
+  /Ohungarumlaut /Racute
+% 0x90
+  /Rcaron /Sacute /Scaron /$Scedilla
+  /Tcaron
+  /$Tcedilla %was: /Tcedilla
+  /Uhungarumlaut /Uring
+  /Ydieresis /Zacute /Zcaron /Zdotaccent /IJ /Idotaccent
+  /dcroat %was: /dbar
+  /section
+% 0xA0
+  /abreve /aogonek /cacute /ccaron /dcaron /ecaron /eogonek /gbreve
+  /lacute /lcaron /lslash /nacute /ncaron
+/eng  %/ng
+  /ohungarumlaut /racute
+% 0xB0
+  /rcaron /sacute /scaron /$scedilla
+  /tcaron %was: /tquoteright but is just the form of tcaron preferred
+    	  %in typograpy (see e.g. the Unicode charts)
+  /$tcedilla %was: /tcedilla
+  /uhungarumlaut /uring
+  /ydieresis /zacute /zcaron /zdotaccent
+  /ij /exclamdown /questiondown /sterling
+% 0xC0
+  /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla
+  /Egrave /Eacute /Ecircumflex /Edieresis
+  /Igrave /Iacute /Icircumflex /Idieresis
+% 0xD0
+  /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /OE
+  /Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn 
+/$DoubleS %/Germandbls
+% 0xE0
+  /agrave /aacute /acircumflex /atilde /adieresis /aring /ae /ccedilla
+  /egrave /eacute /ecircumflex /edieresis
+  /igrave /iacute /icircumflex /idieresis
+% 0xF0
+  /eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /oe
+  /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /germandbls
+] def
diff --git a/dviware/catdvi/enc/dummy.enc b/dviware/catdvi/enc/dummy.enc
new file mode 100644
index 0000000000..edde9263ea
--- /dev/null
+++ b/dviware/catdvi/enc/dummy.enc
@@ -0,0 +1,103 @@
+% Empty dummy encoding --
+% used for some fonts who lie about their encoding and for which we don't
+% have a real encoding vector yet (some AMS fonts, for example, pretend to
+% be `TEX TEXT' encoded, but are not).
+%
+/DummyEncoding [
+% 0x00  (  0)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10  ( 16)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20  ( 32)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x30  ( 48)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x40  ( 64)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x50  ( 80)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x60  ( 96)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x70  (112)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x80  (128)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90  (144)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0  (160)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0  (176)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0  (192)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0  (208)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0  (224)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0  (240)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/euex.enc b/dviware/catdvi/enc/euex.enc
new file mode 100644
index 0000000000..c7eadb8243
--- /dev/null
+++ b/dviware/catdvi/enc/euex.enc
@@ -0,0 +1,171 @@
+% Euler-compatible extension (euex) font encoding.
+%
+/EulerExtensionEncoding [
+% 0x00  (  0)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+/$braceleftbig
+/$bracerightbig
+/$braceleftBig
+/$bracerightBig
+
+/$braceleftbigg
+/$bracerightbigg
+/$braceleftBigg
+/$bracerightBigg
+
+% 0x10  ( 16)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+/$harpoonleftbarbup
+/$harpoonleftbarbdown
+/$harpoonrightbarbup
+/$harpoonrightbarbdown
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20  ( 32)
+/arrowleft
+/arrowright
+/arrowup
+/arrowdown
+
+/arrowboth
+/$arrownortheast
+/$arrowsoutheast
+/.notdef
+
+/arrowdblleft
+/arrowdblright
+/arrowdblup
+/arrowdbldown
+
+/arrowdblboth
+/$arrownorthwest
+/$arrowsouthwest
+/.notdef
+
+% 0x30  ( 48)
+/.notdef
+/infinity
+/.notdef
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+/$bracelefttp
+/$bracerighttp
+/$braceleftbt
+/$bracerightbt
+
+/$braceleftmid
+/$bracerightmid
+/$braceex
+/.notdef
+
+% 0x40  ( 64)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+/$contintegraltext
+/$contintegraldisplay
+/.notdef
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x50  ( 80)
+/$summationtext
+/$producttext
+/$integraltext
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+/$summationdisplay
+/$productdisplay
+/$integraldisplay
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x60  ( 96)
+/$coproducttext
+/$coproductdisplay
+/.notdef
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+/arrowupdn
+/$arrowdblupdn
+/.notdef
+/.notdef
+
+% 0x70  (112)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef
+/.notdef
+/$bracehtipdownleft
+/$bracehtipdownright
+
+/$bracehtipupleft
+/$bracehtipupright
+/.notdef
+/.notdef
+
+% 0x80  (128)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90  (144)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0  (160)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0  (176)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0  (192)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0  (208)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0  (224)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0  (240)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/eufrak.enc b/dviware/catdvi/enc/eufrak.enc
new file mode 100644
index 0000000000..d5ccd7f6d3
--- /dev/null
+++ b/dviware/catdvi/enc/eufrak.enc
@@ -0,0 +1,202 @@
+% Encoding of the Euler Fraktur fonts (part of the AMS fonts)
+%
+/EulerFrakturEncoding [
+% 0x00  (  0)
+/$dmathfrak % alternate shape
+/$dmathfrak % alternate shape
+/$fmathfrak % alternate shape
+/$fmathfrak % alternate shape
+
+/$gmathfrak % alternate shape
+/$kmathfrak % alternate shape
+/$tmathfrak % alternate shape
+/$umathfrak % alternate shape
+
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10  ( 16)
+/.notdef
+/.notdef
+/quoteleft
+/quoteright
+
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20  ( 32)
+/.notdef
+/exclam
+/.notdef
+/.notdef
+
+/.notdef
+/.notdef
+/ampersand
+/quotesingle
+
+/parenleft
+/parenright
+/asterisk
+/plus
+
+/comma
+/minus
+/period
+/slash
+
+% 0x30  ( 48)
+/zerooldstyle
+/oneoldstyle
+/twooldstyle
+/threeoldstyle
+
+/fouroldstyle
+/fiveoldstyle
+/sixoldstyle
+/sevenoldstyle
+
+/eightoldstyle
+/nineoldstyle
+/colon
+/semicolon
+
+/.notdef
+/equal
+/.notdef
+/question
+
+% 0x40  ( 64)
+/.notdef
+/$Amathfrak
+/$Bmathfrak
+/$Cfraktur
+
+/$Dmathfrak
+/$Emathfrak
+/$Fmathfrak
+/$Gmathfrak
+
+/$Hfraktur
+/Ifraktur
+/$Jmathfrak
+/$Kmathfrak
+
+/$Lmathfrak
+/$Mmathfrak
+/$Nmathfrak
+/$Omathfrak
+
+% 0x50  ( 80)
+/$Pmathfrak
+/$Qmathfrak
+/Rfraktur
+/$Smathfrak
+
+/$Tmathfrak
+/$Umathfrak
+/$Vmathfrak
+/$Wmathfrak
+
+/$Xmathfrak
+/$Ymathfrak
+/$Zfraktur
+/bracketleft
+
+/.notdef
+/bracketright
+/asciicircum
+/.notdef
+
+% 0x60  ( 96)
+/.notdef
+/$amathfrak
+/$bmathfrak
+/$cmathfrak
+
+/$dmathfrak
+/$emathfrak
+/$fmathfrak
+/$gmathfrak
+
+/$hmathfrak
+/$imathfrak
+/$jmathfrak
+/$kmathfrak
+
+/$lmathfrak
+/$mmathfrak
+/$nmathfrak
+/$omathfrak
+
+% 0x70  (112)
+/$pmathfrak
+/$qmathfrak
+/$rmathfrak
+/$smathfrak
+
+/$tmathfrak
+/$umathfrak
+/$vmathfrak
+/$wmathfrak
+
+/$xmathfrak
+/$ymathfrak
+/$zmathfrak
+/.notdef
+
+/.notdef
+/quotedbl
+/.notdef
+/one % alternate shape
+
+% 0x80  (128)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90  (144)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0  (160)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0  (176)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0  (192)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0  (208)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0  (224)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0  (240)
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/eurosym.enc b/dviware/catdvi/enc/eurosym.enc
new file mode 100644
index 0000000000..4b28e84e17
--- /dev/null
+++ b/dviware/catdvi/enc/eurosym.enc
@@ -0,0 +1,100 @@
+%The encoding of the fey?? Euro symbol fonts in the eurosym package.
+%
+/EurosymEncoding [
+% 0x00
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x30
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x40
+/.notdef /$Eurodblstroke /$Eurodblstroke /$Eurodblstroke
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x50
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x60
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /Euro /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x70
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x80
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/latexsym.enc b/dviware/catdvi/enc/latexsym.enc
new file mode 100644
index 0000000000..6ddae26ca6
--- /dev/null
+++ b/dviware/catdvi/enc/latexsym.enc
@@ -0,0 +1,127 @@
+% The LaTeX symbols encoding
+%
+% Ligs and kerns left out.
+
+/LaTeXSymbolsEncoding [
+% 0x00
+/.notdef
+/$normalin
+/$reflexnormalin
+/$normalizes
+
+/$reflexnormalizes
+/.notdef
+/.notdef
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+/.notavail % left arrowhead, not in Unicode 3.2
+/.notavail % right arrowhead, not in Unicode 3.2
+/$arrowheadup
+/$arrowheaddown
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x30
+/$Mho
+/$bowtie
+/$box
+/$diamondshape
+
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef
+/.notdef
+/.notavail % leadsto horizontal extension, not in Unicode 3.2
+/$squigarrowright % leadsto
+
+/$subsetsq
+/$supersetsq
+/.notdef
+/.notdef
+
+% 0x40
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x50
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x60
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x70
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x80
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x90
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xa0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xb0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/marvo00.enc b/dviware/catdvi/enc/marvo00.enc
new file mode 100644
index 0000000000..1766911b6a
--- /dev/null
+++ b/dviware/catdvi/enc/marvo00.enc
@@ -0,0 +1,305 @@
+%The encoding of the marvosym ("Martin Vogels Symbole") font released 2000.
+%An earlier version had a substantially different encoding. 
+%
+/Marvosym2000Encoding [
+% 0x00
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20
+/.notdef
+/.notavail %/stopsign
+/.notavail %/beam
+/.notavail %/bearing
+
+/.notavail %/loosebearing
+/.notavail %/fixedbearing
+/$lefttorque
+/$righttorque
+
+/parenleft
+/parenright
+/multiply
+/plus
+
+/comma
+/$hyphen
+/period
+/slash
+
+% 0x30
+/zero
+/one
+/two
+/three
+
+/four
+/five
+/six
+/seven
+
+/eight
+/nine
+/$dingbatarrow2794
+/arrowdblright
+
+/lessequal
+/$corresponds
+/greaterequal
+/arrowdblboth
+
+% 0x40
+/at
+/$answerphone
+/$envelope
+/.notavail %/CEsign
+
+/Euro
+/$zigzagarrowdown
+/.notavail %/FHBOlogo
+/.notdef
+
+/.notavail %/mobilefone
+/.notavail %/industry
+/.notavail %/electrostatic
+/.notavail %/coffeecup
+
+/.notavail %/lineload
+/.notdef
+/.notdef %something here, a box? undocumented.
+/.notdef %something here, a box? undocumented.
+
+% 0x50
+/$vector
+/$scissors
+/.notavail %/kutline
+/.notavail %/leftscissors
+
+/$telephone
+/$watch
+/$checkedbox
+/$sphericalangle
+
+/$crossedbox
+/$yinyang
+/$fist
+/$fractionslash
+
+/$dividesnot
+/equivalence
+/$notequivalent
+/$negationslash
+
+% 0x60
+/.notavail %/explosionsafe
+/.notavail %/laserbeam
+/$writinghand
+/Euro
+
+/Euro
+/Euro
+/.notavail %/FHBOLOGO
+/$macron
+
+/$biohazard
+/$information
+/$radioactive
+/.notavail %/email
+
+/arrowdown
+/.notavail %/mundus
+/.notavail %/bsefree
+/.notavail %/football
+
+% 0x70
+/$vector
+/$scissorsupperblade
+/.notavail %/cutline
+/.notavail %/cutleft
+
+/.notavail %/fax
+/.notavail %/FAX
+/.notavail %/faxmachine
+/.notavail %/wheelchair
+
+/.notavail %/gentsroom
+/.notavail %/ladiesroom
+/.notavail %/emailct
+/circle %neutral
+
+/male
+/.notavail %/hermaphrodite
+/female
+/.notdef % something here; a copy of MALE?
+
+% 0x80
+/.notavail %/HERMAPHRODITE
+/.notavail %/FEMALE
+/.notavail %/MALE
+/.notavail %/malemale
+
+/.notavail %/femalefemale
+/.notavail %/femalemale
+/$latincross
+/.notavail %/celtcross
+
+/$ankh
+/.notavail %/WashCotton
+/.notavail %/WashSynthetics
+/.notavail %/WashWool
+
+/$heartwhite
+/.notavail %/Ecommerce
+/.notavail %/FullFHBO
+/.notavail %/Tumbler
+
+% 0x90
+/.notavail %/NoTumbler
+/.notavail %/Octosteel
+/.notavail %/Hexasteel
+/filledbox %/Squaresteel
+
+/.notavail %/Rectsteel
+/$filledcircle %/Circsteel
+/.notavail %/flatsteel
+/.notavail %/squarepipe
+
+/.notavail %/rectpipe
+/.notavail %/Lsteel
+/.notavail %/TTsteel
+/.notavail %/circpipe
+
+/.notavail %/Tsteel
+/.notavail %/RoundedTsteel
+/.notavail %/RoundedTTsteel
+/.notavail %/RoundedLsteel
+
+% 0xa0
+/.notdef %something here, undocumented
+/.notavail %/Shilling
+/$pfennig
+/$pounds
+
+/Euro
+/.notavail %/Bouquet
+/dollar
+/$frownface
+
+/.notavail %/NoChemicalCleaning
+/smileface
+/.notavail %marvosym.sty calls this \CircledA, but it's the anarchist symbol.
+/$circleA %/CleaningA
+
+/$circleP %/CleaningP
+/.notavail %/CleaningPP
+/.notavail %/bicycle
+/.notavail %/IroningI
+
+% 0xb0
+/.notavail %/IroningII
+/.notavail %/IroningIII
+/.notavail %/NoIroning
+/.notdef
+
+/.notavail %/RewindToIndex
+/.notavail %/RewindToStart
+/triaglf %/Rewind
+/triagrt %/Forward
+
+/.notavail %/ForwardToEnd
+/.notavail %/ForwardToIndex
+/triagup %/MoveUp
+/triagdn %/MoveDown
+
+/.notavail %/ToTop
+/.notavail %/ToBottom
+/$circleF %/CleaningF
+/.notavail %/CleaningFF
+
+% 0xc0
+/sun
+/$moonfirstquarter
+/$mercury
+/female
+
+/male
+/$jupiter
+/$saturn
+/$uranus
+
+/$neptune
+/$pluto
+/$earth
+/$triagwhiteup %/Bleech
+
+/.notavail %/NoBleech
+/.notavail %/ComputerMouse
+/.notavail %/SerialInterface
+/$keyboard
+
+% 0xd0
+/.notavail %/SerialPort
+/.notavail %/ParallelPort
+/.notavail %/Printer
+/.notavail %/AtNinetyFive
+
+/.notavail %/ShortNinetyFive
+/.notavail %/AtSixty
+/.notavail %/ShortSixty
+/.notavail %/ShortFifty
+
+/.notavail %/AtForty
+/.notavail %/ShortForty
+/.notavail %/SpecialForty
+/.notavail %/ShortThirty
+
+/.notavail %/Handwash
+/.notavail %/Dontwash
+/.notdef
+/.notdef
+
+% 0xe0
+/$aries
+/$taurus
+/$gemini
+/$cancer
+
+/$leo
+/$virgo
+/$libra
+/$scorpius
+
+/$sagittarius
+/$capricorn
+/$aquarius
+/$pisces
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0
+/A %very bold
+/p %very bold
+/.notdef
+/.notdef
+
+/.notdef
+/.notdef
+/.notdef
+/$filledboxsmall %squaredot
+
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef
+/.notavail %/bat
+/.notavail %/womanface
+/.notavail %/MartinVogel
+
+] def
diff --git a/dviware/catdvi/enc/marvo98.enc b/dviware/catdvi/enc/marvo98.enc
new file mode 100644
index 0000000000..a032287881
--- /dev/null
+++ b/dviware/catdvi/enc/marvo98.enc
@@ -0,0 +1,256 @@
+%The encoding of the marvosym ("Martin Vogels Symbole") font released 1998.
+%A later version has a substantially different encoding. 
+%
+/Marvosym1998Encoding [
+% 0x00
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x10
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x20
+/.notdef
+/.notavail %/stopsign
+/.notavail %/beam
+/.notavail %/bearing
+
+/.notavail %/loosebearing
+/.notavail %/fixedbearing
+/$lefttorque
+/$righttorque
+
+/arrowdown
+/.notavail %/lineload
+/$snowflake
+/$maltesecross
+
+/.notdef
+/.notdef
+/.notavail %/circles
+/.notdef
+
+% 0x30
+/zero
+/one
+/two
+/three
+
+/four
+/five
+/six
+/seven
+
+/eight
+/nine
+/.notdef
+/.notdef
+
+/.notdef
+/$corresponds
+/$dingbatarrow2794
+/.notdef
+
+% 0x40
+/at
+/$answerphone
+/$envelope
+/.notavail %/CEsign
+
+/.notdef
+/$zigzagarrowdown
+/.notavail %/FHBOlogo
+/.notdef
+
+/.notavail %/mobilefone
+/.notavail %/industry
+/.notdef
+/.notavail %/coffeecup
+
+/.notdef
+/$yinyang
+/.notdef
+/.notdef %something here, a box? undocumented.
+
+% 0x50
+/$vector
+/$scissors
+/.notavail %/kutline
+/.notavail %/leftscissors
+
+/$telephone
+/$watch
+/$checkedbox
+/.notdef
+
+/$crossedbox
+/.notdef
+/$fist
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x60
+/.notdef
+/.notdef
+/$writinghand
+/Euro
+
+/Euro
+/Euro
+/.notavail %/FHBOLOGO
+/.notdef
+
+/.notdef
+/$information
+/.notdef
+/.notdef
+
+/.notdef
+/.notdef
+/.notdef
+/.notavail %/football
+
+% 0x70
+/$vector
+/$scissorsupperblade
+/.notavail %/cutline
+/.notavail %/cutleft
+
+/.notavail %/fax
+/.notavail %/FAX
+/.notavail %/faxmachine
+/.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0x80
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef
+/.notdef
+/$latincross
+/.notavail %/celtcross
+
+/$ankh
+/.notdef
+/.notdef
+/.notdef
+
+/$heartwhite
+/.notdef
+/.notdef
+/.notdef
+
+% 0x90
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef
+/.notdef
+/.notavail %/flatsteel
+/.notavail %/squarepipe
+
+/.notavail %/rectpipe
+/.notavail %/Lsteel
+/.notavail %/TTsteel
+/.notavail %/circpipe
+
+/.notavail %/Tsteel
+/.notdef
+/.notdef
+/.notdef
+
+% 0xa0
+/.notdef /.notdef /.notdef /.notdef
+
+/Euro
+/.notdef
+/.notdef
+/$frownface
+
+/.notdef
+/smileface
+/.notdef
+/.notdef
+
+/.notdef
+/.notdef
+/.notavail %/bicycle
+/.notdef
+
+% 0xb0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xc0
+/sun
+/$moonfirstquarter
+/$mercury
+/female
+
+/male
+/$jupiter
+/$saturn
+/$uranus
+
+/$neptune
+/$pluto
+/.notdef
+/.notdef
+
+/.notavail %/womanside
+/.notavail %/manside
+/.notavail %/womanfront
+/.notavail %/manfront
+
+% 0xd0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0
+/$aries
+/$taurus
+/$gemini
+/$cancer
+
+/$leo
+/$virgo
+/$libra
+/$scorpius
+
+/$sagittarius
+/$capricorn
+/$aquarius
+/$pisces
+
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0
+/A %very bold
+/p %very bold
+/.notdef
+/.notdef
+
+/.notdef
+/.notdef
+/.notdef
+/$filledboxsmall
+
+/.notdef /.notdef /.notdef /.notdef
+
+/.notdef
+/.notavail %/bat
+/.notavail %/womanface
+/.notavail %/MartinVogel
+
+] def
diff --git a/dviware/catdvi/enc/ot1.enc b/dviware/catdvi/enc/ot1.enc
new file mode 100644
index 0000000000..919d08e94e
--- /dev/null
+++ b/dviware/catdvi/enc/ot1.enc
@@ -0,0 +1,38 @@
+/OT1Encoding [
+  /Gamma /$Delta /Theta /Lambda /Xi /Pi /Sigma /Upsilon /Phi
+  /Psi /$Omega /ff /fi /fl /ffi /ffl
+  /dotlessi /dotlessj /grave /acute /caron /breve /$macron /ring
+  /cedilla /germandbls /ae /oe /oslash /AE /OE /Oslash
+  /$polishstroke /exclam /quotedblright /numbersign
+    /dollar /percent /ampersand /quoteright
+  /parenleft /parenright /asterisk /plus /comma /$hyphen /period /slash
+  /zero /one /two /three /four /five /six /seven
+  /eight /nine /colon /semicolon /exclamdown /equal /questiondown /question
+  /at /A /B /C /D /E /F /G
+  /H /I /J /K /L /M /N /O
+  /P /Q /R /S /T /U /V /W
+  /X /Y /Z /bracketleft /quotedblleft /bracketright /circumflex /dotaccent
+  /quoteleft /a /b /c /d /e /f /g
+  /h /i /j /k /l /m /n /o
+  /p /q /r /s /t /u /v /w
+  /x /y /z /endash /emdash /quotedbl /tilde /dieresis
+
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef ] def
diff --git a/dviware/catdvi/enc/ot1wofl.enc b/dviware/catdvi/enc/ot1wofl.enc
new file mode 100644
index 0000000000..832cbaf1f6
--- /dev/null
+++ b/dviware/catdvi/enc/ot1wofl.enc
@@ -0,0 +1,51 @@
+% Definition of the `TeX Text without f-ligatures' encoding.
+%
+% Ligatures and kernings left out.
+
+/OT1woflEncoding [
+  % 0x00
+  /Gamma /$Delta /Theta /Lambda /Xi /Pi /Sigma /Upsilon
+  /Phi /Psi /$Omega /arrowup /arrowdown /quotesingle /exclamdown /questiondown
+  % 0x10
+  /dotlessi /dotlessj /grave /acute /caron /breve /$macron /ring
+  /cedilla /germandbls /ae /oe /oslash /AE /OE /Oslash
+  % 0x20
+  /$polishstroke /exclam /quotedblright /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 /quotedblleft /bracketright /circumflex /dotaccent
+  % 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 /endash /emdash /quotedbl /tilde /dieresis
+
+  % 0x80
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef ] def
diff --git a/dviware/catdvi/enc/texmext.enc b/dviware/catdvi/enc/texmext.enc
new file mode 100644
index 0000000000..36af31e9ea
--- /dev/null
+++ b/dviware/catdvi/enc/texmext.enc
@@ -0,0 +1,184 @@
+% TeX math extension encoding.
+% No ligatures or kerns.
+% 
+/TeXMathExtensionEncoding [          % now 256 chars follow
+
+% 0x0
+/$parenleftbig 
+/$parenrightbig 
+/$bracketleftbig 
+/$bracketrightbig 
+/$floorleftbig 
+/$floorrightbig 
+/$ceilingleftbig 
+/$ceilingrightbig 
+
+% 0x8
+/$braceleftbig 
+/$bracerightbig 
+/$angbracketleftbig 
+/$angbracketrightbig 
+/$vextendsingle 
+/$vextenddouble 
+/$slashbig 
+/$backslashbig 
+
+% 0x10
+/$parenleftBig 
+/$parenrightBig 
+/$parenleftbigg 
+/$parenrightbigg 
+/$bracketleftbigg 
+/$bracketrightbigg 
+/$floorleftbigg 
+/$floorrightbigg 
+
+% 0x18
+/$ceilingleftbigg 
+/$ceilingrightbigg 
+/$braceleftbigg 
+/$bracerightbigg 
+/$angbracketleftbigg 
+/$angbracketrightbigg 
+/$slashbigg 
+/$backslashbigg 
+
+% 0x20
+/$parenleftBigg 
+/$parenrightBigg 
+/$bracketleftBigg 
+/$bracketrightBigg 
+/$floorleftBigg 
+/$floorrightBigg 
+/$ceilingleftBigg 
+/$ceilingrightBigg 
+
+% 0x28
+/$braceleftBigg 
+/$bracerightBigg 
+/$angbracketleftBigg 
+/$angbracketrightBigg 
+/$slashBigg 
+/$backslashBigg 
+/$slashBig 
+/$backslashBig 
+
+% 0x30
+/$parenlefttp 
+/$parenrighttp 
+/$bracketlefttp 
+/$bracketrighttp 
+/$bracketleftbt 
+/$bracketrightbt 
+/$bracketleftex 
+/$bracketrightex 
+
+% 0x38
+/$bracelefttp 
+/$bracerighttp 
+/$braceleftbt 
+/$bracerightbt 
+/$braceleftmid 
+/$bracerightmid 
+/$braceex 
+/arrowvertex 
+
+% 0x40
+/$parenleftbt 
+/$parenrightbt 
+/$parenleftex 
+/$parenrightex 
+/$angbracketleftBig 
+/$angbracketrightBig 
+/$unionsqtext 
+/$unionsqdisplay 
+
+% 0x48
+/$contintegraltext 
+/$contintegraldisplay 
+/$circledottext 
+/$circledotdisplay 
+/$circleplustext 
+/$circleplusdisplay 
+/$circlemultiplytext 
+/$circlemultiplydisplay 
+
+% 0x50
+/$summationtext 
+/$producttext 
+/$integraltext 
+/$uniontext 
+/$intersectiontext 
+/$unionmultitext 
+/$logicalandtext 
+/$logicalortext 
+
+% 0x58
+/$summationdisplay 
+/$productdisplay 
+/$integraldisplay 
+/$uniondisplay 
+/$intersectiondisplay 
+/$unionmultidisplay 
+/$logicalanddisplay 
+/$logicalordisplay 
+
+% 0x60
+/$coproducttext 
+/$coproductdisplay 
+/$hatwide 
+/$hatwider 
+/$hatwidest 
+/$tildewide 
+/$tildewider 
+/$tildewidest 
+
+% 0x68
+/$bracketleftBig 
+/$bracketrightBig 
+/$floorleftBig 
+/$floorrightBig 
+/$ceilingleftBig 
+/$ceilingrightBig 
+/$braceleftBig 
+/$bracerightBig 
+
+% 0x70
+/$radicalbig 
+/$radicalBig 
+/$radicalbigg 
+/$radicalBigg 
+/$radicalbt 
+/$radicalvertex 
+/$radicaltp 
+/$arrowvertexdbl 
+
+% 0x78
+/$arrowtp 
+/$arrowbt 
+/$bracehtipdownleft 
+/$bracehtipdownright 
+/$bracehtipupleft 
+/$bracehtipupright 
+/$arrowdbltp 
+/$arrowdblbt 
+
+% Have to have 128 .notdef's now to fill things out.
+% 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+] def
diff --git a/dviware/catdvi/enc/texmital.enc b/dviware/catdvi/enc/texmital.enc
new file mode 100644
index 0000000000..a1398c89ca
--- /dev/null
+++ b/dviware/catdvi/enc/texmital.enc
@@ -0,0 +1,183 @@
+% TeX math italic encoding.
+% No ligatures or kerns.
+% 
+/TeXMathItalicEncoding [          % now 256 chars follow
+% 0x0
+/Gamma
+/$Delta
+/Theta
+/Lambda
+/Xi
+/Pi
+/Sigma
+/Upsilon
+
+% 0x8
+/Phi
+/Psi
+/$Omega
+/alpha
+/beta
+/gamma
+/delta
+/$epsilon1
+
+% 0x10
+/zeta
+/eta
+/theta
+/iota
+/kappa
+/lambda
+/$mu
+/nu
+
+% 0x18
+/xi
+/pi
+/rho
+/sigma
+/tau
+/upsilon
+/phi1	% was: /phi but it's the other way round in Unicode
+/chi
+
+% 0x20
+/psi
+/omega
+/epsilon
+/theta1
+/$pi1
+/$rho1
+/sigma1
+/phi	% was: /phi1 but it's the other way round in Unicode
+
+% 0x28
+/$harpoonleftbarbup  	% was: /arrowlefttophalf
+/$harpoonleftbarbdown	% was: /arrowleftbothalf
+/$harpoonrightbarbup 	% was: /arrowrighttophalf
+/$harpoonrightbarbdown	% was: /arrowrightbothalf
+/arrowhookleft
+/arrowhookright
+/$normalizes	% was: /triangleright
+/$normalin  	% was: /triangleleft
+
+% 0x30
+/zerooldstyle
+/oneoldstyle
+/twooldstyle
+/threeoldstyle
+/fouroldstyle
+/fiveoldstyle
+/sixoldstyle
+/sevenoldstyle
+
+% 0x38
+/eightoldstyle
+/nineoldstyle
+/period
+/comma
+/less
+/slash
+/greater
+/$starmath  % was: /star
+
+% 0x40
+/partialdiff
+/A
+/B
+/C
+/D
+/E
+/F
+/G
+
+% 0x48
+/H
+/I
+/J
+/K
+/L
+/M
+/N
+/O
+
+% 0x50
+/P
+/Q
+/R
+/S
+/T
+/U
+/V
+/W
+
+% 0x58
+/X
+/Y
+/Z
+/$flat
+/$natural
+/$sharp
+/$smile % was: /slurbelow
+/$frown % was: /slurabove
+
+% 0x60
+/$lscript
+/a
+/b
+/c
+/d
+/e
+/f
+/g
+
+% 0x68
+/h
+/i
+/j
+/k
+/l
+/m
+/n
+/o
+
+% 0x70
+/p
+/q
+/r
+/s
+/t
+/u
+/v
+/w
+
+% 0x78
+/x
+/y
+/z
+/dotlessi
+/dotlessj
+/weierstrass
+/$vector
+/$tie
+
+% Have to have 128 .notdef's now to fill things out.
+% 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+] def
diff --git a/dviware/catdvi/enc/texmsym.enc b/dviware/catdvi/enc/texmsym.enc
new file mode 100644
index 0000000000..e2e7367325
--- /dev/null
+++ b/dviware/catdvi/enc/texmsym.enc
@@ -0,0 +1,183 @@
+% TeX math symbols encoding.
+% No ligatures or kerns.
+% 
+/TeXMathSymbolEncoding [          % now 256 chars follow
+% 0x0
+/minus
+/$periodcentered
+/multiply
+/asteriskmath
+/divide
+/$diamondmath
+/plusminus
+/$minusplus
+
+% 0x8
+/circleplus
+/$circleminus
+/circlemultiply
+/$circledivide
+/$circledot
+/$circlelarge %/circlecopyrt
+/openbullet
+/bullet
+
+% 0x10
+/$equivasymptotic
+/equivalence
+/reflexsubset
+/reflexsuperset
+/lessequal
+/greaterequal
+/$precedesequal
+/$followsequal
+
+% 0x18
+/similar
+/approxequal
+/propersubset
+/propersuperset
+/$lessmuch
+/$greatermuch
+/$precedes
+/$follows
+
+% 0x20
+/arrowleft
+/arrowright
+/arrowup
+/arrowdown
+/arrowboth
+/$arrownortheast
+/$arrowsoutheast
+/$similarequal 
+
+% 0x28
+/arrowdblleft 
+/arrowdblright 
+/arrowdblup 
+/arrowdbldown 
+/arrowdblboth 
+/$arrownorthwest 
+/$arrowsouthwest 
+/proportional 
+
+% 0x30
+/minute %/prime 
+/infinity 
+/element 
+/suchthat %/owner 
+/$triagwhiteup %/triangle 
+/$triagwhitedn %/triangleinv 
+/$negationslash 
+/mapsto 
+
+% 0x38
+/universal 
+/existential 
+/logicalnot 
+/emptyset 
+/Rfraktur %/Rfractur 
+/Ifraktur %/Ifractur 
+/$latticetop 
+/perpendicular 
+
+% 0x40
+/aleph 
+/$Amathscript
+/$Bscript
+/$Cmathscript
+/$Dmathscript
+/$Escript
+/$Fscript
+/$Gmathscript
+
+% 0x48
+/$Hscript
+/$Iscript
+/$Jmathscript
+/$Kmathscript
+/$Lscript
+/$Mscript
+/$Nmathscript
+/$Omathscript
+
+% 0x50
+/$Pmathscript
+/$Qmathscript
+/$Rscript
+/$Smathscript
+/$Tmathscript
+/$Umathscript
+/$Vmathscript
+/$Wmathscript
+
+% 0x58
+/$Xmathscript
+/$Ymathscript
+/$Zmathscript
+/union 
+/intersection 
+/$unionmulti 
+/logicaland 
+/logicalor 
+
+% 0x60
+/$turnstileleft 
+/$turnstileright 
+/$floorleft 
+/$floorright 
+/$ceilingleft 
+/$ceilingright 
+/braceleft 
+/braceright 
+
+% 0x68
+/$angleleftmath %/angbracketleft 
+/$anglerightmath %/angbracketright 
+/bar 
+/$parallel %/bardbl 
+/arrowupdn %/arrowbothv 
+/$arrowdblupdn %/arrowdblbothv 
+/backslash 
+/$wreathproduct 
+
+% 0x70
+/radical 
+/$coproduct 
+/gradient %/nabla 
+/integral 
+/$unionsq 
+/$intersectionsq 
+/$reflexsubsetsq %/subsetsqequal 
+/$reflexsupersetsq %/supersetsqequal 
+
+% 0x78
+/section 
+/dagger 
+/daggerdbl 
+/paragraph 
+/club 
+/$diamondwhite 
+/$heartwhite 
+/spade
+
+% Have to have 128 .notdef's now to fill things out.
+% 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef 
+] def
diff --git a/dviware/catdvi/enc/textcomp.enc b/dviware/catdvi/enc/textcomp.enc
new file mode 100644
index 0000000000..c9b74ba512
--- /dev/null
+++ b/dviware/catdvi/enc/textcomp.enc
@@ -0,0 +1,154 @@
+%The TeX text companion (TS1) encoding.
+%
+/TextCompanionEncoding [
+% 0x00
+/grave /acute /circumflex /tilde
+/dieresis /hungarumlaut /ring /caron
+/breve /$macron /dotaccent /cedilla
+/ogonek
+/.notavail % quotestraightbase, not in Unicode 3.2
+/.notdef
+/.notdef
+
+% 0x10
+/.notdef
+/.notdef
+/.notavail % quotestraightdblbase, not in Unicode 3.2
+/.notdef
+
+/.notdef
+/.notavail % twelveudash (a 2/3 em dash), not in Unicode 3.2
+/threequartersemdash
+/$ZWNJ
+
+/arrowleft /arrowright /$tie /$tie
+
+/$tie /$tie /.notdef /$ZWNJ
+
+% 0x20
+/$blank /.notdef /.notdef /.notdef
+/dollar /.notdef /.notdef /quotesingle
+/.notdef /.notdef /$asterisklow /.notdef
+/comma
+/$hyphen % Actually a double hyphen (similar to an equals sign), but this
+         % is not present in Unicode (or considered a typographic variant).
+    	 % This one is "hanging", the other one below normal ?
+/period
+/$fractionslash
+
+% 0x30
+/zerooldstyle /oneoldstyle /twooldstyle /threeoldstyle
+/fouroldstyle /fiveoldstyle /sixoldstyle /sevenoldstyle
+/eightoldstyle /nineoldstyle /.notdef /.notdef
+/angleleft /minus /angleright /.notdef
+
+% 0x40
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /$Mho /.notdef /$circlelarge
+
+% 0x50
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /$Ohm
+/.notdef /.notdef /.notdef /$bracketleftwhite
+/.notdef /$bracketrightwhite /arrowup /arrowdown
+
+% 0x60
+/grave % perhaps /$minutereversed ?
+/.notdef
+/$star
+/.notavail % divorced, not in Unicode 3.2
+
+/$latincross /.notdef /.notdef /.notdef
+
+/.notdef /.notdef /.notdef /.notdef
+
+/.notavail % leaf, not in Unicode 3.2
+/.notavail % married, not in Unicode 3.2
+/musicalnote
+/.notdef
+
+% 0x70
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef
+/.notdef
+/asciitilde
+/$hyphen % Actually a double hyphen (similar to an equals sign), but this
+         % is not present in Unicode (or considered a typographic variant).
+
+% 0x80
+/breve /caron /second /$secondreversed
+/dagger /daggerdbl /$bardbl /perthousand
+/bullet /$celsius /dollaroldstyle /centoldstyle
+/florin /colonmonetary /$won /$naira
+
+% 0x90
+/.notavail % guarani (a currency sign), not in Unicode 3.2
+/$peso
+/lira
+/prescription
+
+/$interrobang
+/.notavail % interrobangdown, not in Unicode 3.2
+/dong
+/trademark
+
+/$pertenthousand
+/paragraph % typographic variant with single stem, not distinguished in Unicode
+/$baht
+/$numero
+
+/$discount /estimated /openbullet /$servicemark
+
+% 0xa0
+/$quillbracketleft /$quillbracketright /cent /sterling
+/currency /yen /brokenbar /section
+/dieresis
+/copyright
+/ordfeminine
+/.notavail % copyleft (inverted copyright), not in Unicode 3.2
+/logicalnot /$phonorecord /registered /$macron
+
+% 0xb0
+/degree /plusminus /twosuperior /threesuperior
+
+/acute % perhaps /minute ?
+/$micro
+/paragraph
+/$periodcentered
+
+/$referencemark
+/onesuperior
+/ordmasculine
+/radical % This is NOT hanging like the math font radicals!
+
+/onequarter /onehalf /threequarters /Euro
+
+% 0xc0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xd0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /multiply /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xe0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+% 0xf0
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /divide /.notdef
+/.notdef /.notdef /.notdef /.notdef
+/.notdef /.notdef /.notdef /.notdef
+
+] def
diff --git a/dviware/catdvi/enc/textt.enc b/dviware/catdvi/enc/textt.enc
new file mode 100644
index 0000000000..54beff0d36
--- /dev/null
+++ b/dviware/catdvi/enc/textt.enc
@@ -0,0 +1,50 @@
+% Definition of the TeX Typewriter Text (\tt) encoding.
+%
+% Ligatures and kernings left out.
+
+/TeXTypewriterTextEncoding [
+  % 0x00
+  /Gamma /$Delta /Theta /Lambda /Xi /Pi /Sigma /Upsilon
+  /Phi /Psi /$Omega /arrowup /arrowdown /quotesingle /exclamdown /questiondown
+  % 0x10
+  /dotlessi /dotlessj /grave /acute /caron /breve /$macron /ring
+  /cedilla /germandbls /ae /oe /oslash /AE /OE /Oslash
+  % 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 /circumflex /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 /tilde /dieresis
+
+  % 0x80
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
+  /.notdef /.notdef ] def