summaryrefslogtreecommitdiff
path: root/dviware/catdvi/enc
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /dviware/catdvi/enc
Initial commit
Diffstat (limited to 'dviware/catdvi/enc')
-rw-r--r--dviware/catdvi/enc/README89
-rw-r--r--dviware/catdvi/enc/amssymba.enc220
-rw-r--r--dviware/catdvi/enc/amssymbb.enc220
-rw-r--r--dviware/catdvi/enc/blackboard.enc163
-rw-r--r--dviware/catdvi/enc/cork.enc100
-rw-r--r--dviware/catdvi/enc/dummy.enc103
-rw-r--r--dviware/catdvi/enc/euex.enc171
-rw-r--r--dviware/catdvi/enc/eufrak.enc202
-rw-r--r--dviware/catdvi/enc/eurosym.enc100
-rw-r--r--dviware/catdvi/enc/latexsym.enc127
-rw-r--r--dviware/catdvi/enc/marvo00.enc305
-rw-r--r--dviware/catdvi/enc/marvo98.enc256
-rw-r--r--dviware/catdvi/enc/ot1.enc38
-rw-r--r--dviware/catdvi/enc/ot1wofl.enc51
-rw-r--r--dviware/catdvi/enc/texmext.enc184
-rw-r--r--dviware/catdvi/enc/texmital.enc183
-rw-r--r--dviware/catdvi/enc/texmsym.enc183
-rw-r--r--dviware/catdvi/enc/textcomp.enc154
-rw-r--r--dviware/catdvi/enc/textt.enc50
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