1 files changed, 357 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/ofs/ofs-tx.tex b/Master/texmf-dist/tex/generic/ofs/ofs-tx.tex
new file mode 100644
index 00000000000..b9d184569d9
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/ofs/ofs-tx.tex
@@ -0,0 +1,357 @@
+% OFS: TX fonts, math encoding declaration
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Apr. 2004                                  Petr Olsak
+
+\protectreading ofs-tx.tex % This is part of OFS package
+
+\mathencdef\TXSYCmathchars {%
+  \fontmessage{\ofsmessageheader Math symbols are set for TX encoding.}%
+  \mathchardef\mappedfromchar       "3\hex\txsycfam 00
+  \def\mappedfrom{\leftarrow\mappedfromchar}%
+  \def\longmappedfrom{\longleftarrow\mappedfromchar}%
+  \mathchardef\Mapstochar           "3\hex\txsycfam 01
+  \def\Mapsto{\Mapstochar\Rightarrow}%
+  \def\Longmapsto{\Mapstochar\Longrightarrow}%
+  \mathchardef\Mappedfromchar       "3\hex\txsycfam 02
+  \def\Mappedfrom{\Leftarrow\Mappedfromchar}%
+  \def\Longmappedfrom{\Longleftarrow\Mappedfromchar}%
+  \mathchardef\mmapstochar          "3\hex\txsycfam 03
+  \def\mmapsto{\mmapstochar\rightarrow}%
+  \def\longmmapsto{\mmapstochar\longrightarrow}%
+  \mathchardef\mmappedfromchar      "3\hex\txsycfam 04
+  \def\mmappedfrom{\leftarrow\mmappedfromchar}%
+  \def\longmmappedfrom{\longleftarrow\mmappedfromchar}%
+  \mathchardef\Mmapstochar          "3\hex\txsycfam 05
+  \def\Mmapsto{\Mmapstochar\Rightarrow}%
+  \def\Longmmapsto{\Mmapstochar\Longrightarrow}%
+  \mathchardef\Mmappedfromchar      "3\hex\txsycfam 06
+  \def\Mmappedfrom{\Leftarrow\Mmappedfromchar}%
+  \def\Longmmappedfrom{\Longleftarrow\Mmappedfromchar}%
+  \mathchardef\medcirc              "2\hex\txsycfam 07
+  \mathchardef\medbullet            "2\hex\txsycfam 08
+  \mathchardef\varparallel          "3\hex\txsycfam 09
+  \mathchardef\varparallelinv       "3\hex\txsycfam 0A
+  \mathchardef\nvarparallel         "3\hex\txsycfam 0B
+  \mathchardef\nvarparallelinv      "3\hex\txsycfam 0C
+  \mathchardef\colonapprox          "3\hex\txsycfam 0D
+  \mathchardef\colonsim             "3\hex\txsycfam 0E
+  \mathchardef\Colonapprox          "3\hex\txsycfam 0F
+  \mathchardef\Colonsim             "3\hex\txsycfam 10
+  \mathchardef\doteq                "3\hex\txsycfam 11
+  \mathchardef\multimapinv          "3\hex\txsycfam 12
+  \mathchardef\multimapboth         "3\hex\txsycfam 13
+  \mathchardef\multimapdot          "3\hex\txsycfam 14
+  \mathchardef\multimapdotinv       "3\hex\txsycfam 15
+  \mathchardef\multimapdotboth      "3\hex\txsycfam 16
+  \mathchardef\multimapdotbothA     "3\hex\txsycfam 17
+  \mathchardef\multimapdotbothB     "3\hex\txsycfam 18
+  \mathchardef\VDash                "3\hex\txsycfam 19
+  \mathchardef\VvDash               "3\hex\txsycfam 1A
+  \mathchardef\cong                 "3\hex\txsycfam 1B
+  \mathchardef\preceqq              "3\hex\txsycfam 1C
+  \mathchardef\succeqq              "3\hex\txsycfam 1D
+  \mathchardef\nprecsim             "3\hex\txsycfam 1E
+  \mathchardef\nsuccsim             "3\hex\txsycfam 1F
+  \mathchardef\nlesssim             "3\hex\txsycfam 20
+  \mathchardef\ngtrsim              "3\hex\txsycfam 21
+  \mathchardef\nlessapprox          "3\hex\txsycfam 22
+  \mathchardef\ngtrapprox           "3\hex\txsycfam 23
+  \mathchardef\npreccurlyeq         "3\hex\txsycfam 24
+  \mathchardef\nsucccurlyeq         "3\hex\txsycfam 25
+  \mathchardef\ngtrless             "3\hex\txsycfam 26
+  \mathchardef\nlessgtr             "3\hex\txsycfam 27
+  \mathchardef\nbumpeq              "3\hex\txsycfam 28
+  \mathchardef\nBumpeq              "3\hex\txsycfam 29
+  \mathchardef\nbacksim             "3\hex\txsycfam 2A
+  \mathchardef\nbacksimeq           "3\hex\txsycfam 2B
+  \mathchardef\neq                  "3\hex\txsycfam 2C
+  \let\ne=\neq
+  \mathchardef\nasymp               "3\hex\txsycfam 2D
+  \mathchardef\nequiv               "3\hex\txsycfam 2E
+  \mathchardef\nsim                 "3\hex\txsycfam 2F
+  \mathchardef\napprox              "3\hex\txsycfam 30
+  \mathchardef\nsubset              "3\hex\txsycfam 31
+  \mathchardef\nsupset              "3\hex\txsycfam 32
+  \mathchardef\nll                  "3\hex\txsycfam 33
+  \mathchardef\ngg                  "3\hex\txsycfam 34
+  \mathchardef\nthickapprox         "3\hex\txsycfam 35
+  \mathchardef\napproxeq            "3\hex\txsycfam 36
+  \mathchardef\nprecapprox          "3\hex\txsycfam 37
+  \mathchardef\nsuccapprox          "3\hex\txsycfam 38
+  \mathchardef\npreceqq             "3\hex\txsycfam 39
+  \mathchardef\nsucceqq             "3\hex\txsycfam 3A
+  \mathchardef\nsimeq               "3\hex\txsycfam 3B
+  \mathchardef\notin                "3\hex\txsycfam 3C
+  \mathchardef\notni                "3\hex\txsycfam 3D
+   \let\notowns=\notni
+  \mathchardef\nSubset              "3\hex\txsycfam 3E
+  \mathchardef\nSupset              "3\hex\txsycfam 3F
+  \mathchardef\nsqsubseteq          "3\hex\txsycfam 40
+  \mathchardef\nsqsupseteq          "3\hex\txsycfam 41
+  \mathchardef\coloneqq             "3\hex\txsycfam 42
+  \mathchardef\eqqcolon             "3\hex\txsycfam 43
+  \mathchardef\coloneq              "3\hex\txsycfam 44
+  \mathchardef\eqcolon              "3\hex\txsycfam 45
+  \mathchardef\Coloneqq             "3\hex\txsycfam 46
+  \mathchardef\Eqqcolon             "3\hex\txsycfam 47
+  \mathchardef\Coloneq              "3\hex\txsycfam 48
+  \mathchardef\Eqcolon              "3\hex\txsycfam 49
+  \mathchardef\strictif             "3\hex\txsycfam 4A
+  \mathchardef\strictfi             "3\hex\txsycfam 4B
+  \mathchardef\strictiff            "3\hex\txsycfam 4C
+  \mathchardef\invamp               "2\hex\txsycfam 4D
+  \edef\lbag{\delimiter "4\hex\txsycfam 4E\hex\txexafam 30 }%
+  \edef\rbag{\delimiter "5\hex\txsycfam 4F\hex\txexafam 31 }%
+  \mathchardef\Lbag                 "4\hex\txsycfam 50
+  \mathchardef\Rbag                 "5\hex\txsycfam 51
+  \mathchardef\circledless          "3\hex\txsycfam 52
+  \mathchardef\circledgtr           "3\hex\txsycfam 53
+  \mathchardef\circledwedge         "2\hex\txsycfam 54
+  \mathchardef\circledvee           "2\hex\txsycfam 55
+  \mathchardef\circledbar           "2\hex\txsycfam 56
+  \mathchardef\circledbslash        "2\hex\txsycfam 57
+  \mathchardef\lJoin                "3\hex\txsycfam 58
+  \mathchardef\rJoin                "3\hex\txsycfam 59
+  \mathchardef\Join                 "3\hex\txsycfam 5A
+  \let\lrJoin=\Join
+  \mathchardef\openJoin             "3\hex\txsycfam 5B
+  \mathchardef\lrtimes              "3\hex\txsycfam 5C
+  \mathchardef\opentimes            "3\hex\txsycfam 5D
+  \mathchardef\Diamond              "0\hex\txsycfam 5E
+  \mathchardef\Diamondblack         "0\hex\txsycfam 5F
+  \mathchardef\nplus                "2\hex\txsycfam 60
+  \mathchardef\nsqsubset            "3\hex\txsycfam 61
+  \mathchardef\nsqsupset            "3\hex\txsycfam 62
+  \mathchardef\dashleftarrow        "3\hex\txsycfam 63
+  \mathchardef\dashrightarrow       "3\hex\txsycfam 64
+  \let\dasharrow\dashrightarrow
+  \mathchardef\dashleftrightarrow   "3\hex\txsycfam 65
+  \mathchardef\leftsquigarrow       "3\hex\txsycfam 66
+  \mathchardef\ntwoheadrightarrow   "3\hex\txsycfam 67
+  \mathchardef\ntwoheadleftarrow    "3\hex\txsycfam 68
+  \mathchardef\boxast               "2\hex\txsycfam 69
+  \mathchardef\boxbslash            "2\hex\txsycfam 6A
+  \mathchardef\boxbar               "2\hex\txsycfam 6B
+  \mathchardef\boxslash             "2\hex\txsycfam 6C
+  \mathchardef\Wr                   "2\hex\txsycfam 6D
+  \mathchardef\lambdaslash          "0\hex\txsycfam 6E
+  \mathchardef\lambdabar            "0\hex\txsycfam 6F
+  \mathchardef\varclubsuit          "0\hex\txsycfam 70
+  \mathchardef\vardiamondsuit       "0\hex\txsycfam 71
+  \mathchardef\varheartsuit         "0\hex\txsycfam 72
+  \mathchardef\varspadesuit         "0\hex\txsycfam 73
+  \mathchardef\Nearrow              "3\hex\txsycfam 74
+  \mathchardef\Searrow              "3\hex\txsycfam 75
+  \mathchardef\Nwarrow              "3\hex\txsycfam 76
+  \mathchardef\Swarrow              "3\hex\txsycfam 77
+  \mathchardef\Top                  "0\hex\txsycfam 78
+  \mathchardef\Bot                  "0\hex\txsycfam 79
+  \mathchardef\Perp                 "3\hex\txsycfam 79
+  \mathchardef\leadstoext           "3\hex\txsycfam 7A
+  \mathchardef\leadsto              "3\hex\txsycfam 7B
+  \mathchardef\sqcupplus            "2\hex\txsycfam 7C
+  \mathchardef\sqcapplus            "2\hex\txsycfam 7D
+  \edef\llbracket{\delimiter "4\hex\txsycfam 7E\hex\txexafam 12 }%
+  \edef\rrbracket{\delimiter "5\hex\txsycfam 7F\hex\txexafam 13 }%
+  \mathchardef\boxright             "3\hex\txsycfam 80
+  \mathchardef\boxleft              "3\hex\txsycfam 81
+  \mathchardef\boxdotright          "3\hex\txsycfam 82
+  \mathchardef\boxdotleft           "3\hex\txsycfam 83
+  \mathchardef\Diamondright         "3\hex\txsycfam 84
+  \mathchardef\Diamondleft          "3\hex\txsycfam 85
+  \mathchardef\Diamonddotright      "3\hex\txsycfam 86
+  \mathchardef\Diamonddotleft       "3\hex\txsycfam 87
+  \mathchardef\boxRight             "3\hex\txsycfam 88
+  \mathchardef\boxLeft              "3\hex\txsycfam 89
+  \mathchardef\boxdotRight          "3\hex\txsycfam 8A
+  \mathchardef\boxdotLeft           "3\hex\txsycfam 8B
+  \mathchardef\DiamondRight         "3\hex\txsycfam 8C
+  \mathchardef\DiamondLeft          "3\hex\txsycfam 8D
+  \mathchardef\DiamonddotRight      "3\hex\txsycfam 8E
+  \mathchardef\DiamonddotLeft       "3\hex\txsycfam 8F
+  \mathchardef\Diamonddot           "0\hex\txsycfam 90
+  \mathchardef\circleright          "3\hex\txsycfam 91
+  \mathchardef\circleleft           "3\hex\txsycfam 92
+  \mathchardef\circleddotright      "3\hex\txsycfam 93
+  \let\circledotright\circleddotright
+  \mathchardef\circleddotleft       "3\hex\txsycfam 94
+  \let\circledotleft\circleddotleft
+  \mathchardef\multimapbothvert     "3\hex\txsycfam 95
+  \mathchardef\multimapdotbothvert  "3\hex\txsycfam 96
+  \mathchardef\multimapdotbothBvert "3\hex\txsycfam 97
+  \mathchardef\multimapdotbothAvert "3\hex\txsycfam 98
+}
+\mathencdef\TXMIAmathchars {%
+  \mathchardef\alphaup      "0\hex\txmiafam 0B
+  \mathchardef\betaup       "0\hex\txmiafam 0C
+  \mathchardef\gammaup      "0\hex\txmiafam 0D
+  \mathchardef\deltaup      "0\hex\txmiafam 0E
+  \mathchardef\epsilonup    "0\hex\txmiafam 0F
+  \mathchardef\zetaup       "0\hex\txmiafam 10
+  \mathchardef\etaup        "0\hex\txmiafam 11
+  \mathchardef\thetaup      "0\hex\txmiafam 12
+  \mathchardef\iotaup       "0\hex\txmiafam 13
+  \mathchardef\kappaup      "0\hex\txmiafam 14
+  \mathchardef\lambdaup     "0\hex\txmiafam 15
+  \mathchardef\muup         "0\hex\txmiafam 16
+  \mathchardef\nuup         "0\hex\txmiafam 17
+  \mathchardef\xiup         "0\hex\txmiafam 18
+  \mathchardef\piup         "0\hex\txmiafam 19
+  \mathchardef\rhoup        "0\hex\txmiafam 1A
+  \mathchardef\sigmaup      "0\hex\txmiafam 1B
+  \mathchardef\tauup        "0\hex\txmiafam 1C
+  \mathchardef\upsilonup    "0\hex\txmiafam 1D
+  \mathchardef\phiup        "0\hex\txmiafam 1E
+  \mathchardef\chiup        "0\hex\txmiafam 1F
+  \mathchardef\psiup        "0\hex\txmiafam 20
+  \mathchardef\omegaup      "0\hex\txmiafam 21
+  \mathchardef\varepsilonup "0\hex\txmiafam 22
+  \mathchardef\varthetaup   "0\hex\txmiafam 23
+  \mathchardef\varpiup      "0\hex\txmiafam 24
+  \mathchardef\varrhoup     "0\hex\txmiafam 25
+  \mathchardef\varsigmaup   "0\hex\txmiafam 26
+  \mathchardef\varphiup     "0\hex\txmiafam 27
+  %
+  \mathchardef\varg         "0\hex\txmiafam 31
+  \mathchardef\vary         "0\hex\txmiafam 32
+  \mathchardef\varv         "0\hex\txmiafam 33
+  \mathchardef\varw         "0\hex\txmiafam 34
+  %
+  \mathchardef\varBbbk      "0\hex\txmiafam AB
+}
+\mathencdef\TXEXAmathchars {%
+  \mathchardef\bignplus                "1\hex\txexafam 00
+  \mathchardef\bigsqcupplus            "1\hex\txexafam 02
+  \mathchardef\bigsqcapplus            "1\hex\txexafam 04
+  \mathchardef\bigsqcap                "1\hex\txexafam 06
+  \mathchardef\oiintop                 "1\hex\txexafam 08
+   \def\oiint{\oiintop\nolimits}
+  \mathchardef\ointctrclockwiseop      "1\hex\txexafam 0A
+   \def\ointctrclockwise{\ointctrclockwiseop\nolimits}
+  \mathchardef\ointclockwiseop         "1\hex\txexafam 0C
+   \def\ointclockwise{\ointclockwiseop\nolimits}
+  \mathchardef\sqintop                 "1\hex\txexafam 0E
+   \def\sqint{\sqintop\nolimits}
+  \mathchardef\varprod                 "1\hex\txexafam 10
+  %\edef\llbracket{\delimiter "4\hex\txsycfam 7E\hex\txexafam 12 }%
+  %\edef\rrbracket{\delimiter "5\hex\txsycfam 7F\hex\txexafam 13 }%
+  \mathchardef\brecext                 "0\hex\txexafam 20
+  \mathchardef\iintop                  "1\hex\txexafam 21
+   \def\iint{\iintop\nolimits}
+  \mathchardef\iiintop                 "1\hex\txexafam 23
+   \def\iiint{\iiintop\nolimits}
+  \mathchardef\iiiintop                "1\hex\txexafam 25
+   \def\iiiint{\iiiintop\nolimits}
+  \mathchardef\idotsintop              "1\hex\txexafam 27
+   \def\idotsint{\idotsintop\nolimits}
+  \mathchardef\oiiintop                "1\hex\txexafam 29
+   \def\oiiint{\oiiintop\nolimits}
+  \mathchardef\varointctrclockwiseop   "1\hex\txexafam 2B
+   \def\varointctrclockwise{\varointctrclockwiseop\nolimits}
+  \mathchardef\varointclockwiseop      "1\hex\txexafam 2D
+   \def\varointclockwise{\varointclockwiseop\nolimits}
+  \mathchardef\fintop                  "1\hex\txexafam 3E
+   \def\fint{\fintop\nolimits}
+  \mathchardef\oiintctrclockwiseop     "1\hex\txexafam 40
+   \def\oiintctrclockwise{\oiintctrclockwiseop\nolimits}
+  \mathchardef\varoiintclockwiseop     "1\hex\txexafam 42
+   \def\varoiintclockwise{\varoiintclockwiseop\nolimits}
+  \mathchardef\oiintclockwiseop        "1\hex\txexafam 48
+   \def\oiintclockwise{\oiintclockwiseop\nolimits}
+  \mathchardef\varoiintctrclockwiseop  "1\hex\txexafam 4A
+   \def\varoiintctrclockwise{\varoiintctrclockwiseop\nolimits}
+  \mathchardef\oiiintctrclockwiseop    "1\hex\txexafam 44
+   \def\oiiintctrclockwise{\oiiintctrclockwiseop\nolimits}
+  \mathchardef\varoiiintclockwiseop    "1\hex\txexafam 46
+   \def\varoiiintclockwise{\varoiiintclockwiseop\nolimits}
+  \mathchardef\oiiintclockwiseop       "1\hex\txexafam 4C
+   \def\oiiintclockwise{\oiiintclockwiseop\nolimits}
+  \mathchardef\varoiiintctrclockwiseop "1\hex\txexafam 4E
+   \def\varoiiintctrclockwise{\varoiiintctrclockwiseop\nolimits}
+  \mathchardef\sqiintop                "1\hex\txexafam 50
+   \def\sqiint{\sqiintop\nolimits}
+  \mathchardef\sqiiintop               "1\hex\txexafam 52
+   \def\sqiiint{\sqiiintop\nolimits}
+}
+\mathencdef\TXmathmacros {%
+  \def\lgroup{\delimiter"4\hex\bffam 2833A }% extensible ( with sharper tips
+  \def\rgroup{\delimiter"5\hex\bffam 2933B }% extensible ) with sharper tips
+  \def\bracevert{\delimiter"\hex\ttfam 7C33E }% the vertical bar that extends braces
+  \let\ori@joinrel=\joinrel
+  \def\joinrel{\mathrel{\mkern-2.5mu}}% -3mu in plain TeX
+  %
+  \def\varmathbb ##1{%  \varmathbb {ABC..} use bb symbols from txmia
+    \ifx\expandaction\noexpand
+       \noexpand\varmathbb{##1}%
+    \else
+       \csname fragilecommand!\endcsname
+       \bgroup
+       \count2=`A \count3="0\hex\txmiafam 81
+       \loop \mathcode \count2=\count3 \relax
+          \csname ifnum\endcsname \count2<`Z 
+          \advance\count2 by1 \advance\count3 by1 \repeat 
+       ##1%
+       \egroup
+    \fi
+  }%
+  \def\mathfrak ##1{{\fam\txmiafam ##1}}%
+  %
+  \def\ori@not=\not
+  \def\not ##1{%  % \not\XXX expands to \notXXX or \nXXX or \mathchar"3236 \XXX
+     \ifx ##1=\ne\else
+     \ifx ##1<\nless\else
+     \ifx ##1>\ngtr\else
+     \runtxnot ##1\fi\fi\fi
+  }%
+  \def\runtxnot {\ifx\expandaction\noexpand \noexpand\not
+     \else \csname fragilecommand!\endcsname
+        \expandafter \trytxnot
+     \fi
+  }%
+  \def\trytxnot ##1{\savetokenname ##1\tmpa
+     \expandafter \ifx \csname n\tmpa\endcsname \relax
+        \expandafter \ifx \csname not\tmpa\endcsname \relax
+           \mathchar"3236 \expandafter \expandafter \expandafter ##1%
+        \else
+           \csname not\tmpa\endcsname
+        \fi
+     \else
+        \csname n\tmpa\endcsname
+     \fi
+  }%
+  % re-definitions of math versions of \ddots, \vdots
+  \def\vdots{\vbox{\baselineskip4\p@ \lineskiplimit\z@
+     \kern6\p@\hbox{$\m@th.$}\hbox{$\m@th.$}\hbox{$\m@th.$}}}%
+  \def\ddots{\mathinner{\mkern1mu\raise7\p@
+     \vbox{\kern7\p@\hbox{$\m@th.$}}\mkern2mu
+     \raise4\p@\hbox{$\m@th.$}\mkern2mu\raise\p@\hbox{$\m@th.$}\mkern1mu}}%
+  % re-definition of \root macro
+  \let\ori@r@@t=\r@@t
+  \def\r@@t##1##2{\setbox\z@\hbox{$\m@th##1\sqrt{##2}$}\dimen@\ht\z@
+     \advance\dimen@-\dp\z@
+     \mkern6mu\raise.68\dimen@\copy\rootbox \mkern-9mu\box\z@}%
+  % re-definitions of \downbracefill, \upbracefill to use \bracext from txexa
+  \let\ori@downbracefill=\downbracefill  \let\ori@upbracefill=\upbracefill
+  \def\downbracefill{$\m@th
+     \braceld\mkern-1mu\cleaders\hbox{$\mkern-.5mu\bracext\mkern-.5mu$}\hfill\mkern-1mu%
+     \braceru\bracelu
+     \mkern-1mu\cleaders\hbox{$\mkern-.5mu\bracext\mkern-.5mu$}\hfill\mkern-1mu\bracerd$}%
+  \def\upbracefill{$\m@th
+     \bracelu\mkern-1mu\cleaders\hbox{$\mkern-.5mu\bracext\mkern-.5mu$}\hfill\mkern-1mu%
+     \bracerd\braceld
+     \mkern-1mu\cleaders\hbox{$\mkern-.5mu\bracext\mkern-.5mu$}\hfill\mkern-1mu\braceru$}%
+  \def\mathcharsback{% 
+     \let\joinrel       \ori@joinrel
+     \let\not           \ori@not
+     \let\r@@t          \ori@r@@t
+     \let\downbracefill \ori@downbracefill
+     \let\upbracefill   \ori@upbracefill}%
+}
+\endinput
+
+
+
+
+
+
+