-
Notifications
You must be signed in to change notification settings - Fork 1
/
txfonts.sty
1084 lines (994 loc) · 49.1 KB
/
txfonts.sty
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\NeedsTeXFormat{LaTeX2e}
%
% Change by Thomas Esser, June 2002:
% Replaced hex numbers by octal to avoid trouble with active "
% as in german.sty.
% Approved for release by Young Ryu (the author) in January 2005.
%
\ProvidesPackage{txfonts}
[2005/01/03 v3.2]
\DeclareOption{varg}{\def\X@s@v@rg{}}
\ProcessOptions
%%%%%%%%%%%%%%%%%%%%%%
% Text Serif (Times) %
%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\rmdefault}{txr}
\DeclareSymbolFont{operators}{OT1}{txr}{m}{n}
\SetSymbolFont{operators}{bold}{OT1}{txr}{bx}{n}
\def\operator@font{\mathgroup\symoperators}
\DeclareSymbolFont{italic}{OT1}{txr}{m}{it}
\SetSymbolFont{italic}{bold}{OT1}{txr}{bx}{it}
\DeclareSymbolFontAlphabet{\mathrm}{operators}
\DeclareMathAlphabet{\mathbf}{OT1}{txr}{bx}{n}
\DeclareMathAlphabet{\mathit}{OT1}{txr}{m}{it}
\SetMathAlphabet{\mathit}{bold}{OT1}{txr}{bx}{it}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Text Sans Serif (Helvetica) %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\sfdefault}{txss}
\DeclareMathAlphabet{\mathsf}{OT1}{txss}{m}{n}
\SetMathAlphabet{\mathsf}{bold}{OT1}{txss}{b}{n}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Text (Monospaced) Typewriter %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\ttdefault}{txtt}
\DeclareMathAlphabet{\mathtt}{OT1}{txtt}{m}{n}
\SetMathAlphabet{\mathtt}{bold}{OT1}{txtt}{b}{n}
%%%%%%%%%%%%%%%
% Math Italic %
%%%%%%%%%%%%%%%
\DeclareSymbolFont{letters}{OML}{txmi}{m}{it}
\SetSymbolFont{letters}{bold}{OML}{txmi}{bx}{it}
\DeclareFontSubstitution{OML}{txmi}{m}{it}
%%%%%%%%%%%%%%%%%
% Math Italic A %
%%%%%%%%%%%%%%%%%
\DeclareSymbolFont{lettersA}{U}{txmia}{m}{it}
\SetSymbolFont{lettersA}{bold}{U}{txmia}{bx}{it}
\DeclareFontSubstitution{U}{txmia}{m}{it}
\DeclareSymbolFontAlphabet{\mathfrak}{lettersA}
%%%%%%%%%%%%%%%
% Math Symbol %
%%%%%%%%%%%%%%%
\DeclareSymbolFont{symbols}{OMS}{txsy}{m}{n}
\SetSymbolFont{symbols}{bold}{OMS}{txsy}{bx}{n}
\DeclareFontSubstitution{OMS}{txsy}{m}{n}
\DeclareSymbolFontAlphabet{\symb@ls@lph@}{symbols}
\ifx\AmSfont\@undefined\else
\renewcommand{\AmSfont}{%
\usefont{OMS}{txsy}{\if\@xp\@car\f@series\@nil bb\else m\fi}{n}}
\fi
%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symbols A (MSAM) %
%%%%%%%%%%%%%%%%%%%%%%%%%
\DeclareSymbolFont{AMSa}{U}{txsya}{m}{n}
\SetSymbolFont{AMSa}{bold}{U}{txsya}{bx}{n}
\DeclareFontSubstitution{U}{txsya}{m}{n}
%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symbols B (MSBM) %
%%%%%%%%%%%%%%%%%%%%%%%%%
\DeclareSymbolFont{AMSb}{U}{txsyb}{m}{n}
\SetSymbolFont{AMSb}{bold}{U}{txsyb}{bx}{n}
\DeclareFontSubstitution{U}{txsyb}{m}{n}
\DeclareSymbolFontAlphabet{\mathbb}{AMSb}
%%%%%%%%%%%%%%%%%%
% Math Symbols C %
%%%%%%%%%%%%%%%%%%
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}
%%%%%%%%%%%%%%%%%%
% Math Extension %
%%%%%%%%%%%%%%%%%%
\DeclareSymbolFont{largesymbols}{OMX}{txex}{m}{n}
\SetSymbolFont{largesymbols}{bold}{OMX}{txex}{bx}{n}
\DeclareFontSubstitution{OMX}{txex}{m}{n}
%%%%%%%%%%%%%%%%%%%%
% Math Extension A %
%%%%%%%%%%%%%%%%%%%%
\DeclareSymbolFont{largesymbolsA}{U}{txexa}{m}{n}
\SetSymbolFont{largesymbolsA}{bold}{U}{txexa}{bx}{n}
\DeclareFontSubstitution{U}{txexa}{m}{n}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Common Macros
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\re@DeclareTextSymbol#1#2#3{%
\let#1=\undefined
\DeclareTextSymbol{#1}{#2}{#3}}
\def\re@DeclareMathSymbol#1#2#3#4{%
\let#1=\undefined
\DeclareMathSymbol{#1}{#2}{#3}{#4}}
\def\re@DeclareMathDelimiter#1#2#3#4#5#6{%
\let#1=\undefined
\DeclareMathDelimiter{#1}{#2}{#3}{#4}{#5}{#6}}
\def\re@DeclareMathAccent#1#2#3#4{%
\let#1=\undefined
\DeclareMathAccent{#1}{#2}{#3}{#4}}
\def\DeclareMathSymbolCtr#1#2#3#4{%
\DeclareMathSymbol{#1}{#2}{#3}{#4}
\advance #4 by1}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Text/Math Symbol Definitions
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\re@DeclareTextSymbol{\L}{OT1}{138}
\re@DeclareTextSymbol{\l}{OT1}{170}
\re@DeclareTextSymbol{\textdollar}{OT1}{36}
\re@DeclareTextSymbol{\textsterling}{OT1}{163}
\re@DeclareMathSymbol{\mathsterling}{\mathord}{operators}{163}
%\def\mathsterling{\mathit{\mathchar"70A3}}
\DeclareTextComposite{\r}{OT1}{A}{197}
\DeclareTextComposite{\r}{OT1}{a}{229}
\re@DeclareTextSymbol{\textcent}{OT1}{162}
\re@DeclareMathSymbol{\mathcent}{\mathord}{operators}{162}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symols & Notations Definitions
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\joinrel{\mathrel{\mkern-2.5mu}} %-3mu in plain TeX
%%%%%%%%%%%%%%%%%%%%%%
% Text Roman in Math % operators
%%%%%%%%%%%%%%%%%%%%%%
%\DeclareMathSymbol{\Gamma}{\mathalpha}{operators}{0}
%\DeclareMathSymbol{\Delta}{\mathalpha}{operators}{1}
%\DeclareMathSymbol{\Theta}{\mathalpha}{operators}{2}
%\DeclareMathSymbol{\Lambda}{\mathalpha}{operators}{3}
%\DeclareMathSymbol{\Xi}{\mathalpha}{operators}{4}
%\DeclareMathSymbol{\Pi}{\mathalpha}{operators}{5}
%\DeclareMathSymbol{\Sigma}{\mathalpha}{operators}{6}
%\DeclareMathSymbol{\Upsilon}{\mathalpha}{operators}{7}
%\DeclareMathSymbol{\Phi}{\mathalpha}{operators}{8}
%\DeclareMathSymbol{\Psi}{\mathalpha}{operators}{9}
%\DeclareMathSymbol{\Omega}{\mathalpha}{operators}{10}
%"30-"39: 0-9
%\DeclareMathAccent{\grave}{\mathalpha}{operators}{18}
%\DeclareMathAccent{\acute}{\mathalpha}{operators}{19}
%\DeclareMathAccent{\check}{\mathalpha}{operators}{20}
%\DeclareMathAccent{\breve}{\mathalpha}{operators}{21}
%\DeclareMathAccent{\bar}{\mathalpha}{operators}{22}
%\DeclareMathAccent{\mathring}{\mathalpha}{operators}{23}
%\DeclareMathSymbol{\mathdollar}{\mathord}{operators}{36}
%\def\mathsterling{\mathit{\mathchar"7024}}
%\DeclareMathDelimiter{(}{\mathopen}{operators}{40}{largesymbols}{0}
%\DeclareMathDelimiter{)}{\mathclose}{operators}{41}{largesymbols}{1}
%\DeclareMathSymbol{+}{\mathbin}{operators}{43}
%\DeclareMathDelimiter{/}{\mathord}{operators}{47}{largesymbols}{14}
%\DeclareMathSymbol{:}{\mathrel}{operators}{58}
%\DeclareMathSymbol{\colon}{\mathpunct}{operators}{58}
%\DeclareMathSymbol{;}{\mathpunct}{operators}{59}
%\DeclareMathSymbol{=}{\mathrel}{operators}{61}
%\DeclareMathSymbol{?}{\mathclose}{operators}{63}
%\DeclareMathDelimiter{[}{\mathopen}{operators}{91}{largesymbols}{2}
%\DeclareMathDelimiter{]}{\mathclose}{operators}{93}{largesymbols}{3}
%\DeclareMathAccent{\hat}{\mathalpha}{operators}{94}
%\DeclareMathAccent{\dot}{\mathalpha}{operators}{95}
%\DeclareMathAccent{\tilde}{\mathalpha}{operators}{126}
%\DeclareMathAccent{\ddot}{\mathalpha}{operators}{127}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symbol (txsy) Definition % symbols
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\DeclareMathSymbol{-}{\mathbin}{symbols}{0}
%\DeclareMathSymbol{\cdotp}{\mathpunct}{symbols}{1}
%\DeclareMathSymbol{\cdot}{\mathbin}{symbols}{1}
%\DeclareMathSymbol{\times}{\mathbin}{symbols}{2}
%\DeclareMathSymbol{\ast}{\mathbin}{symbols}{3}
%\DeclareMathSymbol{*}{\mathbin}{symbols}{3} %
%\DeclareMathSymbol{\div}{\mathbin}{symbols}{4}
%\DeclareMathSymbol{\diamond}{\mathbin}{symbols}{5}
%\DeclareMathSymbol{\pm}{\mathbin}{symbols}{6}
%\DeclareMathSymbol{\mp}{\mathbin}{symbols}{7}
%\DeclareMathSymbol{\oplus}{\mathbin}{symbols}{8}
\let\circledplus\oplus
%\DeclareMathSymbol{\ominus}{\mathbin}{symbols}{9}
\let\circledminus\ominus
%\DeclareMathSymbol{\otimes}{\mathbin}{symbols}{10}
\let\circledtimes\otimes
%\DeclareMathSymbol{\oslash}{\mathbin}{symbols}{11}
\let\circledslash\oslash
%\DeclareMathSymbol{\odot}{\mathbin}{symbols}{12}
\let\circleddot\odot
%\DeclareMathSymbol{\bigcirc}{\mathbin}{symbols}{13}
%\DeclareMathSymbol{\circ}{\mathbin}{symbols}{14}
%\DeclareMathSymbol{\bullet}{\mathbin}{symbols}{15}
%\DeclareMathSymbol{\asymp}{\mathrel}{symbols}{16}
%\DeclareMathSymbol{\equiv}{\mathrel}{symbols}{17}
%\DeclareMathSymbol{\subseteq}{\mathrel}{symbols}{18}
%\DeclareMathSymbol{\supseteq}{\mathrel}{symbols}{19}
%\DeclareMathSymbol{\leq}{\mathrel}{symbols}{20}
% \let\le=\leq
%\DeclareMathSymbol{\geq}{\mathrel}{symbols}{21}
% \let\ge=\geq
%\DeclareMathSymbol{\preceq}{\mathrel}{symbols}{22}
%\DeclareMathSymbol{\succeq}{\mathrel}{symbols}{23}
%\DeclareMathSymbol{\sim}{\mathrel}{symbols}{24}
%\DeclareMathSymbol{\approx}{\mathrel}{symbols}{25}
%\DeclareMathSymbol{\subset}{\mathrel}{symbols}{26}
%\DeclareMathSymbol{\supset}{\mathrel}{symbols}{27}
%\DeclareMathSymbol{\ll}{\mathrel}{symbols}{28}
%\DeclareMathSymbol{\gg}{\mathrel}{symbols}{29}
%\DeclareMathSymbol{\prec}{\mathrel}{symbols}{30}
%\DeclareMathSymbol{\succ}{\mathrel}{symbols}{31}
%\DeclareMathSymbol{\leftarrow}{\mathrel}{symbols}{32}
% \let\gets=\leftarrow
%\DeclareMathSymbol{\rightarrow}{\mathrel}{symbols}{33}
% \let\to=\rightarrow
%\DeclareMathDelimiter{\uparrow}{\mathrel}{symbols}{34}{largesymbols}{120}
%\DeclareMathDelimiter{\downarrow}{\mathrel}{symbols}{35}{largesymbols}{121}
%\DeclareMathSymbol{\leftrightarrow}{\mathrel}{symbols}{36}
%\DeclareMathSymbol{\nearrow}{\mathrel}{symbols}{37}
%\DeclareMathSymbol{\searrow}{\mathrel}{symbols}{38}
%\DeclareMathSymbol{\simeq}{\mathrel}{symbols}{39}
%\DeclareMathSymbol{\Leftarrow}{\mathrel}{symbols}{40}
%\DeclareMathSymbol{\Rightarrow}{\mathrel}{symbols}{41}
%\DeclareMathDelimiter{\Uparrow}{\mathrel}{symbols}{42}{largesymbols}{126}
%\DeclareMathDelimiter{\Downarrow}{\mathrel}{symbols}{43}{largesymbols}{127}
%\DeclareMathSymbol{\Leftrightarrow}{\mathrel}{symbols}{44}
%\DeclareMathSymbol{\nwarrow}{\mathrel}{symbols}{45}
%\DeclareMathSymbol{\swarrow}{\mathrel}{symbols}{46}
%\DeclareMathSymbol{\propto}{\mathrel}{symbols}{47}
%\DeclareMathSymbol{\prime}{\mathord}{symbols}{48}
%\DeclareMathSymbol{\infty}{\mathord}{symbols}{49}
%\DeclareMathSymbol{\in}{\mathrel}{symbols}{50}
%\DeclareMathSymbol{\ni}{\mathrel}{symbols}{51}
% \let\owns=\ni
%\DeclareMathSymbol{\triangle}{\mathord}{symbols}{52}
%\DeclareMathSymbol{\bigtriangleup}{\mathbin}{symbols}{52}
%\DeclareMathSymbol{\bigtriangledown}{\mathbin}{symbols}{53}
%\DeclareMathSymbol{\not}{\mathrel}{symbols}{54}
%\DeclareMathSymbol{\mapstochar}{\mathrel}{symbols}{55}
% \def\mapsto{\mapstochar\rightarrow}
%\DeclareMathSymbol{\forall}{\mathord}{symbols}{56}
%\DeclareMathSymbol{\exists}{\mathord}{symbols}{57}
%\DeclareMathSymbol{\neg}{\mathord}{symbols}{58}
% \let\lnot=\neg
%\DeclareMathSymbol{\emptyset}{\mathord}{symbols}{59}
%\DeclareMathSymbol{\Re}{\mathord}{symbols}{60}
%\DeclareMathSymbol{\Im}{\mathord}{symbols}{61}
%\DeclareMathSymbol{\top}{\mathord}{symbols}{62}
%\DeclareMathSymbol{\bot}{\mathord}{symbols}{63}
%\DeclareMathSymbol{\perp}{\mathrel}{symbols}{63}
%\DeclareMathSymbol{\aleph}{\mathord}{symbols}{64}
% "41-"5A: \mathcal{A-Z}
%\DeclareMathSymbol{\cup}{\mathbin}{symbols}{91}
%\DeclareMathSymbol{\cap}{\mathbin}{symbols}{92}
%\DeclareMathSymbol{\uplus}{\mathbin}{symbols}{93}
%\DeclareMathSymbol{\wedge}{\mathbin}{symbols}{94}
% \let\land=\wedge
%\DeclareMathSymbol{\vee}{\mathbin}{symbols}{95}
% \let\lor=\vee
%\DeclareMathSymbol{\vdash}{\mathrel}{symbols}{96}
%\DeclareMathSymbol{\dashv}{\mathrel}{symbols}{97}
%\DeclareMathDelimiter{\lfloor}{\mathopen}{symbols}{98}{largesymbols}{4}
%\DeclareMathDelimiter{\rfloor}{\mathclose}{symbols}{99}{largesymbols}{5}
%\DeclareMathDelimiter{\lceil}{\mathopen}{symbols}{100}{largesymbols}{6}
%\DeclareMathDelimiter{\rceil}{\mathclose}{symbols}{101}{largesymbols}{7}
%\DeclareMathDelimiter{\lbrace}{\mathopen}{symbols}{102}{largesymbols}{8}
%\DeclareMathDelimiter{\rbrace}{\mathclose}{symbols}{103}{largesymbols}{9}
%\DeclareMathDelimiter{\langle}{\mathopen}{symbols}{104}{largesymbols}{10}
%\DeclareMathDelimiter{<}{\mathopen}{symbols}{104}{largesymbols}{10}
%\DeclareMathDelimiter{\rangle}{\mathclose}{symbols}{105}{largesymbols}{11}
%\DeclareMathDelimiter{>}{\mathclose}{symbols}{105}{largesymbols}{11}
%\DeclareMathSymbol{\mid}{\mathrel}{symbols}{106}
%\DeclareMathDelimiter{|}{\mathord}{symbols}{106}{largesymbols}{12}
%\DeclareMathDelimiter{\arrowvert}{\mathord}{symbols}{106}{largesymbols}{60}
%\DeclareMathDelimiter{\vert}{\mathord}{symbols}{106}{largesymbols}{12}
%\DeclareMathSymbol{\parallel}{\mathrel}{symbols}{107}
%\DeclareMathDelimiter{\Arrowvert}{\mathord}{symbols}{107}{largesymbols}{61}
%\DeclareMathDelimiter{\Vert}{\mathord}{symbols}{107}{largesymbols}{13}
% \let\|=\Vert
%\DeclareMathDelimiter{\updownarrow}{\mathrel}{symbols}{108}{largesymbols}{63}
%\DeclareMathDelimiter{\Updownarrow}{\mathrel}{symbols}{109}{largesymbols}{119}
%\DeclareMathSymbol{\setminus}{\mathbin}{symbols}{110}
%\DeclareMathDelimiter{\backslash}{\mathord}{symbols}{110}{largesymbols}{15}
%\expandafter\DeclareMathDelimiter\@backslashchar{\mathord}{symbols}{110}{largesymbols}{15}
%\DeclareMathSymbol{\wr}{\mathbin}{symbols}{111}
%\def\surd{{\mathchar"1270}}
%\DeclareMathRadical{\sqrtsign}{symbols}{112}{largesymbols}{112}
%\DeclareMathSymbol{\amalg}{\mathbin}{symbols}{113}
%\DeclareMathSymbol{\nabla}{\mathord}{symbols}{114}
%\DeclareMathSymbol{\smallint}{\mathop}{symbols}{115}
%\DeclareMathSymbol{\sqcup}{\mathbin}{symbols}{116}
%\DeclareMathSymbol{\sqcap}{\mathbin}{symbols}{117}
%\DeclareMathSymbol{\sqsubseteq}{\mathrel}{symbols}{118}
%\DeclareMathSymbol{\sqsupseteq}{\mathrel}{symbols}{119}
%\DeclareMathSymbol{\mathsection}{\mathord}{symbols}{120}
%\DeclareMathSymbol{\dagger}{\mathbin}{symbols}{121}
%\DeclareMathSymbol{\ddagger}{\mathbin}{symbols}{122}
%\DeclareMathSymbol{\mathparagraph}{\mathord}{symbols}{123}
%\DeclareMathSymbol{\clubsuit}{\mathord}{symbols}{124}
%\DeclareMathSymbol{\diamondsuit}{\mathord}{symbols}{125}
%\DeclareMathSymbol{\heartsuit}{\mathord}{symbols}{126}
%\DeclareMathSymbol{\spadesuit}{\mathord}{symbols}{127}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symbol A Definitions % AMSa
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\re@DeclareMathSymbol{\boxdot}{\mathbin}{AMSa}{0}
\re@DeclareMathSymbol{\boxplus}{\mathbin}{AMSa}{1}
\re@DeclareMathSymbol{\boxtimes}{\mathbin}{AMSa}{2}
\re@DeclareMathSymbol{\square}{\mathord}{AMSa}{3}
\re@DeclareMathSymbol{\blacksquare}{\mathord}{AMSa}{4}
\re@DeclareMathSymbol{\centerdot}{\mathbin}{AMSa}{5}
\re@DeclareMathSymbol{\lozenge}{\mathord}{AMSa}{6}
\re@DeclareMathSymbol{\blacklozenge}{\mathord}{AMSa}{7}
\re@DeclareMathSymbol{\circlearrowright}{\mathrel}{AMSa}{8}
\re@DeclareMathSymbol{\circlearrowleft}{\mathrel}{AMSa}{9}
\re@DeclareMathSymbol{\rightleftharpoons}{\mathrel}{AMSa}{10}
\re@DeclareMathSymbol{\leftrightharpoons}{\mathrel}{AMSa}{11}
\re@DeclareMathSymbol{\boxminus}{\mathbin}{AMSa}{12}
\re@DeclareMathSymbol{\Vdash}{\mathrel}{AMSa}{13}
\re@DeclareMathSymbol{\Vvdash}{\mathrel}{AMSa}{14}
\re@DeclareMathSymbol{\vDash}{\mathrel}{AMSa}{15}
\re@DeclareMathSymbol{\twoheadrightarrow}{\mathrel}{AMSa}{16}
\re@DeclareMathSymbol{\twoheadleftarrow}{\mathrel}{AMSa}{17}
\re@DeclareMathSymbol{\leftleftarrows}{\mathrel}{AMSa}{18}
\re@DeclareMathSymbol{\rightrightarrows}{\mathrel}{AMSa}{19}
\re@DeclareMathSymbol{\upuparrows}{\mathrel}{AMSa}{20}
\re@DeclareMathSymbol{\downdownarrows}{\mathrel}{AMSa}{21}
\re@DeclareMathSymbol{\upharpoonright}{\mathrel}{AMSa}{22}
\let\restriction\upharpoonright
\re@DeclareMathSymbol{\downharpoonright}{\mathrel}{AMSa}{23}
\re@DeclareMathSymbol{\upharpoonleft}{\mathrel}{AMSa}{24}
\re@DeclareMathSymbol{\downharpoonleft}{\mathrel}{AMSa}{25}
\re@DeclareMathSymbol{\rightarrowtail}{\mathrel}{AMSa}{26}
\re@DeclareMathSymbol{\leftarrowtail}{\mathrel}{AMSa}{27}
\re@DeclareMathSymbol{\leftrightarrows}{\mathrel}{AMSa}{28}
\re@DeclareMathSymbol{\rightleftarrows}{\mathrel}{AMSa}{29}
\re@DeclareMathSymbol{\Lsh}{\mathrel}{AMSa}{30}
\re@DeclareMathSymbol{\Rsh}{\mathrel}{AMSa}{31}
\re@DeclareMathSymbol{\rightsquigarrow}{\mathrel}{AMSa}{32}
\re@DeclareMathSymbol{\leftrightsquigarrow}{\mathrel}{AMSa}{33}
\re@DeclareMathSymbol{\looparrowleft}{\mathrel}{AMSa}{34}
\re@DeclareMathSymbol{\looparrowright}{\mathrel}{AMSa}{35}
\re@DeclareMathSymbol{\circeq}{\mathrel}{AMSa}{36}
\re@DeclareMathSymbol{\succsim}{\mathrel}{AMSa}{37}
\re@DeclareMathSymbol{\gtrsim}{\mathrel}{AMSa}{38}
\re@DeclareMathSymbol{\gtrapprox}{\mathrel}{AMSa}{39}
\re@DeclareMathSymbol{\multimap}{\mathrel}{AMSa}{40}
\re@DeclareMathSymbol{\therefore}{\mathrel}{AMSa}{41}
\re@DeclareMathSymbol{\because}{\mathrel}{AMSa}{42}
\re@DeclareMathSymbol{\doteqdot}{\mathrel}{AMSa}{43}
\let\Doteq\doteqdot
\re@DeclareMathSymbol{\triangleq}{\mathrel}{AMSa}{44}
\re@DeclareMathSymbol{\precsim}{\mathrel}{AMSa}{45}
\re@DeclareMathSymbol{\lesssim}{\mathrel}{AMSa}{46}
\re@DeclareMathSymbol{\lessapprox}{\mathrel}{AMSa}{47}
\re@DeclareMathSymbol{\eqslantless}{\mathrel}{AMSa}{48}
\re@DeclareMathSymbol{\eqslantgtr}{\mathrel}{AMSa}{49}
\re@DeclareMathSymbol{\curlyeqprec}{\mathrel}{AMSa}{50}
\re@DeclareMathSymbol{\curlyeqsucc}{\mathrel}{AMSa}{51}
\re@DeclareMathSymbol{\preccurlyeq}{\mathrel}{AMSa}{52}
\re@DeclareMathSymbol{\leqq}{\mathrel}{AMSa}{53}
\re@DeclareMathSymbol{\leqslant}{\mathrel}{AMSa}{54}
\re@DeclareMathSymbol{\lessgtr}{\mathrel}{AMSa}{55}
\re@DeclareMathSymbol{\backprime}{\mathord}{AMSa}{56}
\re@DeclareMathSymbol{\risingdotseq}{\mathrel}{AMSa}{58}
\re@DeclareMathSymbol{\fallingdotseq}{\mathrel}{AMSa}{59}
\re@DeclareMathSymbol{\succcurlyeq}{\mathrel}{AMSa}{60}
\re@DeclareMathSymbol{\geqq}{\mathrel}{AMSa}{61}
\re@DeclareMathSymbol{\geqslant}{\mathrel}{AMSa}{62}
\re@DeclareMathSymbol{\gtrless}{\mathrel}{AMSa}{63}
\re@DeclareMathSymbol{\sqsubset}{\mathrel}{AMSa}{64}
\re@DeclareMathSymbol{\sqsupset}{\mathrel}{AMSa}{65}
\re@DeclareMathSymbol{\vartriangleright}{\mathrel}{AMSa}{66}
\re@DeclareMathSymbol{\vartriangleleft}{\mathrel}{AMSa}{67}
\re@DeclareMathSymbol{\trianglerighteq}{\mathrel}{AMSa}{68}
\re@DeclareMathSymbol{\trianglelefteq}{\mathrel}{AMSa}{69}
\re@DeclareMathSymbol{\bigstar}{\mathord}{AMSa}{70}
\re@DeclareMathSymbol{\between}{\mathrel}{AMSa}{71}
\re@DeclareMathSymbol{\blacktriangledown}{\mathord}{AMSa}{72}
\re@DeclareMathSymbol{\blacktriangleright}{\mathrel}{AMSa}{73}
\re@DeclareMathSymbol{\blacktriangleleft}{\mathrel}{AMSa}{74}
\re@DeclareMathSymbol{\vartriangle}{\mathrel}{AMSa}{77}
\re@DeclareMathSymbol{\blacktriangle}{\mathord}{AMSa}{78}
\re@DeclareMathSymbol{\triangledown}{\mathord}{AMSa}{79}
\re@DeclareMathSymbol{\eqcirc}{\mathrel}{AMSa}{80}
\re@DeclareMathSymbol{\lesseqgtr}{\mathrel}{AMSa}{81}
\re@DeclareMathSymbol{\gtreqless}{\mathrel}{AMSa}{82}
\re@DeclareMathSymbol{\lesseqqgtr}{\mathrel}{AMSa}{83}
\re@DeclareMathSymbol{\gtreqqless}{\mathrel}{AMSa}{84}
\re@DeclareMathSymbol{\Rrightarrow}{\mathrel}{AMSa}{86}
\re@DeclareMathSymbol{\Lleftarrow}{\mathrel}{AMSa}{87}
\re@DeclareMathSymbol{\veebar}{\mathbin}{AMSa}{89}
\re@DeclareMathSymbol{\barwedge}{\mathbin}{AMSa}{90}
\re@DeclareMathSymbol{\doublebarwedge}{\mathbin}{AMSa}{91}
\re@DeclareMathSymbol{\angle}{\mathord}{AMSa}{92}
\re@DeclareMathSymbol{\measuredangle}{\mathord}{AMSa}{93}
\re@DeclareMathSymbol{\sphericalangle}{\mathord}{AMSa}{94}
\re@DeclareMathSymbol{\varpropto}{\mathrel}{AMSa}{95}
\re@DeclareMathSymbol{\smallsmile}{\mathrel}{AMSa}{96}
\re@DeclareMathSymbol{\smallfrown}{\mathrel}{AMSa}{97}
\re@DeclareMathSymbol{\Subset}{\mathrel}{AMSa}{98}
\re@DeclareMathSymbol{\Supset}{\mathrel}{AMSa}{99}
\re@DeclareMathSymbol{\Cup}{\mathbin}{AMSa}{100}
\let\doublecup\Cup
\re@DeclareMathSymbol{\Cap}{\mathbin}{AMSa}{101}
\let\doublecap\Cap
\re@DeclareMathSymbol{\curlywedge}{\mathbin}{AMSa}{102}
\re@DeclareMathSymbol{\curlyvee}{\mathbin}{AMSa}{103}
\re@DeclareMathSymbol{\leftthreetimes}{\mathbin}{AMSa}{104}
\re@DeclareMathSymbol{\rightthreetimes}{\mathbin}{AMSa}{105}
\re@DeclareMathSymbol{\subseteqq}{\mathrel}{AMSa}{106}
\re@DeclareMathSymbol{\supseteqq}{\mathrel}{AMSa}{107}
\re@DeclareMathSymbol{\bumpeq}{\mathrel}{AMSa}{108}
\re@DeclareMathSymbol{\Bumpeq}{\mathrel}{AMSa}{109}
\re@DeclareMathSymbol{\lll}{\mathrel}{AMSa}{110}
\let\llless\lll
\re@DeclareMathSymbol{\ggg}{\mathrel}{AMSa}{111}
\let\gggtr\ggg
\re@DeclareMathDelimiter\ulcorner{\mathopen}{AMSa}{112}{AMSa}{112}
\re@DeclareMathDelimiter\urcorner{\mathclose}{AMSa}{113}{AMSa}{113}
\re@DeclareMathSymbol{\circledS}{\mathord}{AMSa}{115}
\re@DeclareMathSymbol{\pitchfork}{\mathrel}{AMSa}{116}
\re@DeclareMathSymbol{\dotplus}{\mathbin}{AMSa}{117}
\re@DeclareMathSymbol{\backsim}{\mathrel}{AMSa}{118}
\re@DeclareMathSymbol{\backsimeq}{\mathrel}{AMSa}{119}
\re@DeclareMathDelimiter\llcorner{\mathopen}{AMSa}{120}{AMSa}{120}
\re@DeclareMathDelimiter\lrcorner{\mathclose}{AMSa}{121}{AMSa}{121}
\re@DeclareMathSymbol{\complement}{\mathord}{AMSa}{123}
\re@DeclareMathSymbol{\intercal}{\mathbin}{AMSa}{124}
\re@DeclareMathSymbol{\circledcirc}{\mathbin}{AMSa}{125}
\re@DeclareMathSymbol{\circledast}{\mathbin}{AMSa}{126}
\re@DeclareMathSymbol{\circleddash}{\mathbin}{AMSa}{127}
\let\Box=\square % LaTeX symbol
\re@DeclareMathSymbol{\rhd}{\mathbin}{AMSa}{66} % LaTeX symbol
\re@DeclareMathSymbol{\lhd}{\mathbin}{AMSa}{67} % LaTeX symbol
\re@DeclareMathSymbol{\unrhd}{\mathbin}{AMSa}{68} % LaTeX symbol
\re@DeclareMathSymbol{\unlhd}{\mathbin}{AMSa}{69} % LaTeX symbol
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symbol B Definitions % AMSb
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\re@DeclareMathSymbol{\lvertneqq}{\mathrel}{AMSb}{0}
\re@DeclareMathSymbol{\gvertneqq}{\mathrel}{AMSb}{1}
\re@DeclareMathSymbol{\nleq}{\mathrel}{AMSb}{2}
\re@DeclareMathSymbol{\ngeq}{\mathrel}{AMSb}{3}
\re@DeclareMathSymbol{\nless}{\mathrel}{AMSb}{4}
\re@DeclareMathSymbol{\ngtr}{\mathrel}{AMSb}{5}
\re@DeclareMathSymbol{\nprec}{\mathrel}{AMSb}{6}
\re@DeclareMathSymbol{\nsucc}{\mathrel}{AMSb}{7}
\re@DeclareMathSymbol{\lneqq}{\mathrel}{AMSb}{8}
\re@DeclareMathSymbol{\gneqq}{\mathrel}{AMSb}{9}
\re@DeclareMathSymbol{\nleqslant}{\mathrel}{AMSb}{10}
\re@DeclareMathSymbol{\ngeqslant}{\mathrel}{AMSb}{11}
\re@DeclareMathSymbol{\lneq}{\mathrel}{AMSb}{12}
\re@DeclareMathSymbol{\gneq}{\mathrel}{AMSb}{13}
\re@DeclareMathSymbol{\npreceq}{\mathrel}{AMSb}{14}
\re@DeclareMathSymbol{\nsucceq}{\mathrel}{AMSb}{15}
\re@DeclareMathSymbol{\precnsim}{\mathrel}{AMSb}{16}
\re@DeclareMathSymbol{\succnsim}{\mathrel}{AMSb}{17}
\re@DeclareMathSymbol{\lnsim}{\mathrel}{AMSb}{18}
\re@DeclareMathSymbol{\gnsim}{\mathrel}{AMSb}{19}
\re@DeclareMathSymbol{\nleqq}{\mathrel}{AMSb}{20}
\re@DeclareMathSymbol{\ngeqq}{\mathrel}{AMSb}{21}
\re@DeclareMathSymbol{\precneqq}{\mathrel}{AMSb}{22}
\re@DeclareMathSymbol{\succneqq}{\mathrel}{AMSb}{23}
\re@DeclareMathSymbol{\precnapprox}{\mathrel}{AMSb}{24}
\re@DeclareMathSymbol{\succnapprox}{\mathrel}{AMSb}{25}
\re@DeclareMathSymbol{\lnapprox}{\mathrel}{AMSb}{26}
\re@DeclareMathSymbol{\gnapprox}{\mathrel}{AMSb}{27}
\re@DeclareMathSymbol{\nsim}{\mathrel}{AMSb}{28}
\re@DeclareMathSymbol{\ncong}{\mathrel}{AMSb}{29}
\re@DeclareMathSymbol{\diagup}{\mathord}{AMSb}{30}
\re@DeclareMathSymbol{\diagdown}{\mathord}{AMSb}{31}
\re@DeclareMathSymbol{\varsubsetneq}{\mathrel}{AMSb}{32}
\re@DeclareMathSymbol{\varsupsetneq}{\mathrel}{AMSb}{33}
\re@DeclareMathSymbol{\nsubseteqq}{\mathrel}{AMSb}{34}
\re@DeclareMathSymbol{\nsupseteqq}{\mathrel}{AMSb}{35}
\re@DeclareMathSymbol{\subsetneqq}{\mathrel}{AMSb}{36}
\re@DeclareMathSymbol{\supsetneqq}{\mathrel}{AMSb}{37}
\re@DeclareMathSymbol{\varsubsetneqq}{\mathrel}{AMSb}{38}
\re@DeclareMathSymbol{\varsupsetneqq}{\mathrel}{AMSb}{39}
\re@DeclareMathSymbol{\subsetneq}{\mathrel}{AMSb}{40}
\re@DeclareMathSymbol{\supsetneq}{\mathrel}{AMSb}{41}
\re@DeclareMathSymbol{\nsubseteq}{\mathrel}{AMSb}{42}
\re@DeclareMathSymbol{\nsupseteq}{\mathrel}{AMSb}{43}
\re@DeclareMathSymbol{\nparallel}{\mathrel}{AMSb}{44}
\re@DeclareMathSymbol{\nmid}{\mathrel}{AMSb}{45}
\re@DeclareMathSymbol{\nshortmid}{\mathrel}{AMSb}{46}
\re@DeclareMathSymbol{\nshortparallel}{\mathrel}{AMSb}{47}
\re@DeclareMathSymbol{\nvdash}{\mathrel}{AMSb}{48}
\re@DeclareMathSymbol{\nVdash}{\mathrel}{AMSb}{49}
\re@DeclareMathSymbol{\nvDash}{\mathrel}{AMSb}{50}
\re@DeclareMathSymbol{\nVDash}{\mathrel}{AMSb}{51}
\re@DeclareMathSymbol{\ntrianglerighteq}{\mathrel}{AMSb}{52}
\re@DeclareMathSymbol{\ntrianglelefteq}{\mathrel}{AMSb}{53}
\re@DeclareMathSymbol{\ntriangleleft}{\mathrel}{AMSb}{54}
\re@DeclareMathSymbol{\ntriangleright}{\mathrel}{AMSb}{55}
\re@DeclareMathSymbol{\nleftarrow}{\mathrel}{AMSb}{56}
\re@DeclareMathSymbol{\nrightarrow}{\mathrel}{AMSb}{57}
\re@DeclareMathSymbol{\nLeftarrow}{\mathrel}{AMSb}{58}
\re@DeclareMathSymbol{\nRightarrow}{\mathrel}{AMSb}{59}
\re@DeclareMathSymbol{\nLeftrightarrow}{\mathrel}{AMSb}{60}
\re@DeclareMathSymbol{\nleftrightarrow}{\mathrel}{AMSb}{61}
\re@DeclareMathSymbol{\divideontimes}{\mathbin}{AMSb}{62}
\re@DeclareMathSymbol{\varnothing}{\mathord}{AMSb}{63}
\re@DeclareMathSymbol{\nexists}{\mathord}{AMSb}{64}
\re@DeclareMathSymbol{\Finv}{\mathord}{AMSb}{96}
\re@DeclareMathSymbol{\Game}{\mathord}{AMSb}{97}
\re@DeclareMathSymbol{\mho}{\mathord}{AMSb}{102}
\re@DeclareMathSymbol{\eth}{\mathord}{AMSb}{103}
\re@DeclareMathSymbol{\eqsim}{\mathrel}{AMSb}{104}
\re@DeclareMathSymbol{\beth}{\mathord}{AMSb}{105}
\re@DeclareMathSymbol{\gimel}{\mathord}{AMSb}{106}
\re@DeclareMathSymbol{\daleth}{\mathord}{AMSb}{107}
\re@DeclareMathSymbol{\lessdot}{\mathbin}{AMSb}{108}
\re@DeclareMathSymbol{\gtrdot}{\mathbin}{AMSb}{109}
\re@DeclareMathSymbol{\ltimes}{\mathbin}{AMSb}{110}
\re@DeclareMathSymbol{\rtimes}{\mathbin}{AMSb}{111}
\re@DeclareMathSymbol{\shortmid}{\mathrel}{AMSb}{112}
\re@DeclareMathSymbol{\shortparallel}{\mathrel}{AMSb}{113}
\re@DeclareMathSymbol{\smallsetminus}{\mathbin}{AMSb}{114}
\re@DeclareMathSymbol{\thicksim}{\mathrel}{AMSb}{115}
\re@DeclareMathSymbol{\thickapprox}{\mathrel}{AMSb}{116}
\re@DeclareMathSymbol{\approxeq}{\mathrel}{AMSb}{117}
\re@DeclareMathSymbol{\succapprox}{\mathrel}{AMSb}{118}
\re@DeclareMathSymbol{\precapprox}{\mathrel}{AMSb}{119}
\re@DeclareMathSymbol{\curvearrowleft}{\mathrel}{AMSb}{120}
\re@DeclareMathSymbol{\curvearrowright}{\mathrel}{AMSb}{121}
\re@DeclareMathSymbol{\digamma}{\mathord}{AMSb}{122}
\re@DeclareMathSymbol{\varkappa}{\mathord}{AMSb}{123}
\re@DeclareMathSymbol{\Bbbk}{\mathord}{AMSb}{124}
\re@DeclareMathSymbol{\hslash}{\mathord}{AMSb}{125}
\re@DeclareMathSymbol{\hbar}{\mathord}{AMSb}{126}
\re@DeclareMathSymbol{\backepsilon}{\mathrel}{AMSb}{127}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Symbol C Definitions % symbolsC
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\re@DeclareMathSymbol{\mappedfromchar}{\mathrel}{symbolsC}{0}
\def\mappedfrom{\leftarrow\mappedfromchar}
\def\longmappedfrom{\longleftarrow\mappedfromchar}
\re@DeclareMathSymbol{\Mapstochar}{\mathrel}{symbolsC}{1}
\def\Mapsto{\Mapstochar\Rightarrow}
\def\Longmapsto{\Mapstochar\Longrightarrow}
\re@DeclareMathSymbol{\Mappedfromchar}{\mathrel}{symbolsC}{2}
\def\Mappedfrom{\Leftarrow\Mappedfromchar}
\def\Longmappedfrom{\Longleftarrow\Mappedfromchar}
\re@DeclareMathSymbol{\mmapstochar}{\mathrel}{symbolsC}{3}
\def\mmapsto{\mmapstochar\rightarrow}
\def\longmmapsto{\mmapstochar\longrightarrow}
\re@DeclareMathSymbol{\mmappedfromchar}{\mathrel}{symbolsC}{4}
\def\mmappedfrom{\leftarrow\mmappedfromchar}
\def\longmmappedfrom{\longleftarrow\mmappedfromchar}
\re@DeclareMathSymbol{\Mmapstochar}{\mathrel}{symbolsC}{5}
\def\Mmapsto{\Mmapstochar\Rightarrow}
\def\Longmmapsto{\Mmapstochar\Longrightarrow}
\re@DeclareMathSymbol{\Mmappedfromchar}{\mathrel}{symbolsC}{6}
\def\Mmappedfrom{\Leftarrow\Mmappedfromchar}
\def\Longmmappedfrom{\Longleftarrow\Mmappedfromchar}
\re@DeclareMathSymbol{\medcirc}{\mathbin}{symbolsC}{7}
\re@DeclareMathSymbol{\medbullet}{\mathbin}{symbolsC}{8}
\re@DeclareMathSymbol{\varparallel}{\mathrel}{symbolsC}{9}
\re@DeclareMathSymbol{\varparallelinv}{\mathrel}{symbolsC}{10}
\re@DeclareMathSymbol{\nvarparallel}{\mathrel}{symbolsC}{11}
\re@DeclareMathSymbol{\nvarparallelinv}{\mathrel}{symbolsC}{12}
\re@DeclareMathSymbol{\colonapprox}{\mathrel}{symbolsC}{13}
\re@DeclareMathSymbol{\colonsim}{\mathrel}{symbolsC}{14}
\re@DeclareMathSymbol{\Colonapprox}{\mathrel}{symbolsC}{15}
\re@DeclareMathSymbol{\Colonsim}{\mathrel}{symbolsC}{16}
\re@DeclareMathSymbol{\doteq}{\mathrel}{symbolsC}{17}
\re@DeclareMathSymbol{\multimapinv}{\mathrel}{symbolsC}{18}
\re@DeclareMathSymbol{\multimapboth}{\mathrel}{symbolsC}{19}
\re@DeclareMathSymbol{\multimapdot}{\mathrel}{symbolsC}{20}
\re@DeclareMathSymbol{\multimapdotinv}{\mathrel}{symbolsC}{21}
\re@DeclareMathSymbol{\multimapdotboth}{\mathrel}{symbolsC}{22}
\re@DeclareMathSymbol{\multimapdotbothA}{\mathrel}{symbolsC}{23}
\re@DeclareMathSymbol{\multimapdotbothB}{\mathrel}{symbolsC}{24}
\re@DeclareMathSymbol{\VDash}{\mathrel}{symbolsC}{25}
\re@DeclareMathSymbol{\VvDash}{\mathrel}{symbolsC}{26}
\re@DeclareMathSymbol{\cong}{\mathrel}{symbolsC}{27}
\re@DeclareMathSymbol{\preceqq}{\mathrel}{symbolsC}{28}
\re@DeclareMathSymbol{\succeqq}{\mathrel}{symbolsC}{29}
\re@DeclareMathSymbol{\nprecsim}{\mathrel}{symbolsC}{30}
\re@DeclareMathSymbol{\nsuccsim}{\mathrel}{symbolsC}{31}
\re@DeclareMathSymbol{\nlesssim}{\mathrel}{symbolsC}{32}
\re@DeclareMathSymbol{\ngtrsim}{\mathrel}{symbolsC}{33}
\re@DeclareMathSymbol{\nlessapprox}{\mathrel}{symbolsC}{34}
\re@DeclareMathSymbol{\ngtrapprox}{\mathrel}{symbolsC}{35}
\re@DeclareMathSymbol{\npreccurlyeq}{\mathrel}{symbolsC}{36}
\re@DeclareMathSymbol{\nsucccurlyeq}{\mathrel}{symbolsC}{37}
\re@DeclareMathSymbol{\ngtrless}{\mathrel}{symbolsC}{38}
\re@DeclareMathSymbol{\nlessgtr}{\mathrel}{symbolsC}{39}
\re@DeclareMathSymbol{\nbumpeq}{\mathrel}{symbolsC}{40}
\re@DeclareMathSymbol{\nBumpeq}{\mathrel}{symbolsC}{41}
\re@DeclareMathSymbol{\nbacksim}{\mathrel}{symbolsC}{42}
\re@DeclareMathSymbol{\nbacksimeq}{\mathrel}{symbolsC}{43}
\re@DeclareMathSymbol{\neq}{\mathrel}{symbolsC}{44}
\let\ne=\neq
\re@DeclareMathSymbol{\nasymp}{\mathrel}{symbolsC}{45}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\nsim}{\mathrel}{symbolsC}{47}
\re@DeclareMathSymbol{\napprox}{\mathrel}{symbolsC}{48}
\re@DeclareMathSymbol{\nsubset}{\mathrel}{symbolsC}{49}
\re@DeclareMathSymbol{\nsupset}{\mathrel}{symbolsC}{50}
\re@DeclareMathSymbol{\nll}{\mathrel}{symbolsC}{51}
\re@DeclareMathSymbol{\ngg}{\mathrel}{symbolsC}{52}
\re@DeclareMathSymbol{\nthickapprox}{\mathrel}{symbolsC}{53}
\re@DeclareMathSymbol{\napproxeq}{\mathrel}{symbolsC}{54}
\re@DeclareMathSymbol{\nprecapprox}{\mathrel}{symbolsC}{55}
\re@DeclareMathSymbol{\nsuccapprox}{\mathrel}{symbolsC}{56}
\re@DeclareMathSymbol{\npreceqq}{\mathrel}{symbolsC}{57}
\re@DeclareMathSymbol{\nsucceqq}{\mathrel}{symbolsC}{58}
\re@DeclareMathSymbol{\nsimeq}{\mathrel}{symbolsC}{59}
\re@DeclareMathSymbol{\notin}{\mathrel}{symbolsC}{60}
\re@DeclareMathSymbol{\notni}{\mathrel}{symbolsC}{61}
\let\notowns=\notni
\re@DeclareMathSymbol{\nSubset}{\mathrel}{symbolsC}{62}
\re@DeclareMathSymbol{\nSupset}{\mathrel}{symbolsC}{63}
\re@DeclareMathSymbol{\nsqsubseteq}{\mathrel}{symbolsC}{64}
\re@DeclareMathSymbol{\nsqsupseteq}{\mathrel}{symbolsC}{65}
\re@DeclareMathSymbol{\coloneqq}{\mathrel}{symbolsC}{66}
\re@DeclareMathSymbol{\eqqcolon}{\mathrel}{symbolsC}{67}
\re@DeclareMathSymbol{\coloneq}{\mathrel}{symbolsC}{68}
\re@DeclareMathSymbol{\eqcolon}{\mathrel}{symbolsC}{69}
\re@DeclareMathSymbol{\Coloneqq}{\mathrel}{symbolsC}{70}
\re@DeclareMathSymbol{\Eqqcolon}{\mathrel}{symbolsC}{71}
\re@DeclareMathSymbol{\Coloneq}{\mathrel}{symbolsC}{72}
\re@DeclareMathSymbol{\Eqcolon}{\mathrel}{symbolsC}{73}
\re@DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}
\re@DeclareMathSymbol{\strictfi}{\mathrel}{symbolsC}{75}
\re@DeclareMathSymbol{\strictiff}{\mathrel}{symbolsC}{76}
\re@DeclareMathSymbol{\invamp}{\mathbin}{symbolsC}{77}
\re@DeclareMathDelimiter{\lbag}{\mathopen}{symbolsC}{78}{largesymbolsA}{48}
\re@DeclareMathDelimiter{\rbag}{\mathclose}{symbolsC}{79}{largesymbolsA}{49}
\re@DeclareMathSymbol{\Lbag}{\mathopen}{symbolsC}{80}
\re@DeclareMathSymbol{\Rbag}{\mathclose}{symbolsC}{81}
\re@DeclareMathSymbol{\circledless}{\mathrel}{symbolsC}{82}
\re@DeclareMathSymbol{\circledgtr}{\mathrel}{symbolsC}{83}
\re@DeclareMathSymbol{\circledwedge}{\mathbin}{symbolsC}{84}
\re@DeclareMathSymbol{\circledvee}{\mathbin}{symbolsC}{85}
\re@DeclareMathSymbol{\circledbar}{\mathbin}{symbolsC}{86}
\re@DeclareMathSymbol{\circledbslash}{\mathbin}{symbolsC}{87}
\re@DeclareMathSymbol{\lJoin}{\mathrel}{symbolsC}{88}
\re@DeclareMathSymbol{\rJoin}{\mathrel}{symbolsC}{89}
\re@DeclareMathSymbol{\Join}{\mathrel}{symbolsC}{90}
\let\lrJoin=\Join
\re@DeclareMathSymbol{\openJoin}{\mathrel}{symbolsC}{91}
\re@DeclareMathSymbol{\lrtimes}{\mathrel}{symbolsC}{92}
% \let\bowtie\lrtimes
\re@DeclareMathSymbol{\opentimes}{\mathrel}{symbolsC}{93}
\re@DeclareMathSymbol{\Diamond}{\mathord}{symbolsC}{94}
\re@DeclareMathSymbol{\Diamondblack}{\mathord}{symbolsC}{95}
\re@DeclareMathSymbol{\nplus}{\mathbin}{symbolsC}{96}
\re@DeclareMathSymbol{\nsqsubset}{\mathrel}{symbolsC}{97}
\re@DeclareMathSymbol{\nsqsupset}{\mathrel}{symbolsC}{98}
\re@DeclareMathSymbol{\dashleftarrow}{\mathrel}{symbolsC}{99}
\re@DeclareMathSymbol{\dashrightarrow}{\mathrel}{symbolsC}{100}
\let\dasharrow\dashrightarrow
\re@DeclareMathSymbol{\dashleftrightarrow}{\mathrel}{symbolsC}{101}
\re@DeclareMathSymbol{\leftsquigarrow}{\mathrel}{symbolsC}{102}
\re@DeclareMathSymbol{\ntwoheadrightarrow}{\mathrel}{symbolsC}{103}
\re@DeclareMathSymbol{\ntwoheadleftarrow}{\mathrel}{symbolsC}{104}
\re@DeclareMathSymbol{\boxast}{\mathbin}{symbolsC}{105}
\re@DeclareMathSymbol{\boxbslash}{\mathbin}{symbolsC}{106}
\re@DeclareMathSymbol{\boxbar}{\mathbin}{symbolsC}{107}
\re@DeclareMathSymbol{\boxslash}{\mathbin}{symbolsC}{108}
\re@DeclareMathSymbol{\Wr}{\mathbin}{symbolsC}{109}
\re@DeclareMathSymbol{\lambdaslash}{\mathord}{symbolsC}{110}
\re@DeclareMathSymbol{\lambdabar}{\mathord}{symbolsC}{111}
\re@DeclareMathSymbol{\varclubsuit}{\mathord}{symbolsC}{112}
\re@DeclareMathSymbol{\vardiamondsuit}{\mathord}{symbolsC}{113}
\re@DeclareMathSymbol{\varheartsuit}{\mathord}{symbolsC}{114}
\re@DeclareMathSymbol{\varspadesuit}{\mathord}{symbolsC}{115}
\re@DeclareMathSymbol{\Nearrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\Searrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\Nwarrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\Swarrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\Top}{\mathord}{symbolsC}{120}
\re@DeclareMathSymbol{\Bot}{\mathord}{symbolsC}{121}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol\leadstoext{\mathrel}{symbolsC}{122}
\re@DeclareMathSymbol\leadsto{\mathrel}{symbolsC}{123}
\re@DeclareMathSymbol{\sqcupplus}{\mathbin}{symbolsC}{124}
\re@DeclareMathSymbol{\sqcapplus}{\mathbin}{symbolsC}{125}
\re@DeclareMathDelimiter{\llbracket}{\mathopen}{symbolsC}{126}{largesymbolsA}{18}
\re@DeclareMathDelimiter{\rrbracket}{\mathclose}{symbolsC}{127}{largesymbolsA}{19}
\re@DeclareMathSymbol{\boxright}{\mathrel}{symbolsC}{128}
\re@DeclareMathSymbol{\boxleft}{\mathrel}{symbolsC}{129}
\re@DeclareMathSymbol{\boxdotright}{\mathrel}{symbolsC}{130}
\re@DeclareMathSymbol{\boxdotleft}{\mathrel}{symbolsC}{131}
\re@DeclareMathSymbol{\Diamondright}{\mathrel}{symbolsC}{132}
\re@DeclareMathSymbol{\Diamondleft}{\mathrel}{symbolsC}{133}
\re@DeclareMathSymbol{\Diamonddotright}{\mathrel}{symbolsC}{134}
\re@DeclareMathSymbol{\Diamonddotleft}{\mathrel}{symbolsC}{135}
\re@DeclareMathSymbol{\boxRight}{\mathrel}{symbolsC}{136}
\re@DeclareMathSymbol{\boxLeft}{\mathrel}{symbolsC}{137}
\re@DeclareMathSymbol{\boxdotRight}{\mathrel}{symbolsC}{138}
\re@DeclareMathSymbol{\boxdotLeft}{\mathrel}{symbolsC}{139}
\re@DeclareMathSymbol{\DiamondRight}{\mathrel}{symbolsC}{140}
\re@DeclareMathSymbol{\DiamondLeft}{\mathrel}{symbolsC}{141}
\re@DeclareMathSymbol{\DiamonddotRight}{\mathrel}{symbolsC}{142}
\re@DeclareMathSymbol{\DiamonddotLeft}{\mathrel}{symbolsC}{143}
\re@DeclareMathSymbol{\Diamonddot}{\mathord}{symbolsC}{144}
\re@DeclareMathSymbol{\circleright}{\mathrel}{symbolsC}{145}
\re@DeclareMathSymbol{\circleleft}{\mathrel}{symbolsC}{146}
\re@DeclareMathSymbol{\circleddotright}{\mathrel}{symbolsC}{147}
\let\circledotright\circleddotright
\re@DeclareMathSymbol{\circleddotleft}{\mathrel}{symbolsC}{148}
\let\circledotleft\circleddotleft
\re@DeclareMathSymbol{\multimapbothvert}{\mathrel}{symbolsC}{149}
\re@DeclareMathSymbol{\multimapdotbothvert}{\mathrel}{symbolsC}{150}
\re@DeclareMathSymbol{\multimapdotbothBvert}{\mathrel}{symbolsC}{151}
\re@DeclareMathSymbol{\multimapdotbothAvert}{\mathrel}{symbolsC}{152}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Italic (txmi) Definition % letters
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%"01-"0A: italic uppercase Greek
%\DeclareMathSymbol{\alpha}{\mathord}{letters}{11}
%\DeclareMathSymbol{\beta}{\mathord}{letters}{12}
%\DeclareMathSymbol{\gamma}{\mathord}{letters}{13}
%\DeclareMathSymbol{\delta}{\mathord}{letters}{14}
%\DeclareMathSymbol{\epsilon}{\mathord}{letters}{15}
%\DeclareMathSymbol{\zeta}{\mathord}{letters}{16}
%\DeclareMathSymbol{\eta}{\mathord}{letters}{17}
%\DeclareMathSymbol{\theta}{\mathord}{letters}{18}
%\DeclareMathSymbol{\iota}{\mathord}{letters}{19}
%\DeclareMathSymbol{\kappa}{\mathord}{letters}{20}
%\DeclareMathSymbol{\lambda}{\mathord}{letters}{21}
%\DeclareMathSymbol{\mu}{\mathord}{letters}{22}
%\DeclareMathSymbol{\nu}{\mathord}{letters}{23}
%\DeclareMathSymbol{\xi}{\mathord}{letters}{24}
%\DeclareMathSymbol{\pi}{\mathord}{letters}{25}
%\DeclareMathSymbol{\rho}{\mathord}{letters}{26}
%\DeclareMathSymbol{\sigma}{\mathord}{letters}{27}
%\DeclareMathSymbol{\tau}{\mathord}{letters}{28}
%\DeclareMathSymbol{\upsilon}{\mathord}{letters}{29}
%\DeclareMathSymbol{\phi}{\mathord}{letters}{30}
%\DeclareMathSymbol{\chi}{\mathord}{letters}{31}
%\DeclareMathSymbol{\psi}{\mathord}{letters}{32}
%\DeclareMathSymbol{\omega}{\mathord}{letters}{33}
%\DeclareMathSymbol{\varepsilon}{\mathord}{letters}{34}
%\DeclareMathSymbol{\vartheta}{\mathord}{letters}{35}
%\DeclareMathSymbol{\varpi}{\mathord}{letters}{36}
%\DeclareMathSymbol{\varrho}{\mathord}{letters}{37}
%\DeclareMathSymbol{\varsigma}{\mathord}{letters}{38}
%\DeclareMathSymbol{\varphi}{\mathord}{letters}{39}
%\DeclareMathSymbol{\leftharpoonup}{\mathrel}{letters}{40}
%\DeclareMathSymbol{\leftharpoondown}{\mathrel}{letters}{41}
%\DeclareMathSymbol{\rightharpoonup}{\mathrel}{letters}{42}
%\DeclareMathSymbol{\rightharpoondown}{\mathrel}{letters}{43}
%\DeclareMathSymbol{\lhook}{\mathrel}{letters}{44}
%\DeclareMathSymbol{\rhook}{\mathrel}{letters}{45}
%\DeclareMathSymbol{\triangleright}{\mathbin}{letters}{46}
%\DeclareMathSymbol{\triangleleft}{\mathbin}{letters}{47}
%"30-"39: old style numerals
%\DeclareMathSymbol{\ldotp}{\mathpunct}{letters}{58}
%\DeclareMathSymbol{.}{\mathord}{letters}{58}
%\DeclareMathSymbol{,}{\mathpunct}{letters}{59}
%\DeclareMathSymbol{<}{\mathrel}{letters}{60}
%\DeclareMathSymbol{/}{\mathord}{letters}{61}
%\DeclareMathSymbol{>}{\mathrel}{letters}{62}
%\DeclareMathSymbol{\star}{\mathbin}{letters}{63}
%\DeclareMathSymbol{\partial}{\mathord}{letters}{64}
%"41-"5A: A-Z
%\DeclareMathSymbol{\flat}{\mathord}{letters}{91}
%\DeclareMathSymbol{\natural}{\mathord}{letters}{92}
%\DeclareMathSymbol{\sharp}{\mathord}{letters}{93}
%\DeclareMathSymbol{\smile}{\mathrel}{letters}{94}
%\DeclareMathSymbol{\frown}{\mathrel}{letters}{95}
%\DeclareMathSymbol{\ell}{\mathord}{letters}{96}
%"61-"7A: a-z
%\DeclareMathSymbol{\imath}{\mathord}{letters}{123}
%\DeclareMathSymbol{\jmath}{\mathord}{letters}{124}
%\DeclareMathSymbol{\wp}{\mathord}{letters}{125}
%\DeclareMathAccent{\vec}{\mathord}{letters}{126}
%"7F
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Italic A (txmia) Definition % lettersA
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%"01-"0A: upright uppercase Greek (= operators txr)
\re@DeclareMathSymbol{\alphaup}{\mathord}{lettersA}{11}
\re@DeclareMathSymbol{\betaup}{\mathord}{lettersA}{12}
\re@DeclareMathSymbol{\gammaup}{\mathord}{lettersA}{13}
\re@DeclareMathSymbol{\deltaup}{\mathord}{lettersA}{14}
\re@DeclareMathSymbol{\epsilonup}{\mathord}{lettersA}{15}
\re@DeclareMathSymbol{\zetaup}{\mathord}{lettersA}{16}
\re@DeclareMathSymbol{\etaup}{\mathord}{lettersA}{17}
\re@DeclareMathSymbol{\thetaup}{\mathord}{lettersA}{18}
\re@DeclareMathSymbol{\iotaup}{\mathord}{lettersA}{19}
\re@DeclareMathSymbol{\kappaup}{\mathord}{lettersA}{20}
\re@DeclareMathSymbol{\lambdaup}{\mathord}{lettersA}{21}
\re@DeclareMathSymbol{\muup}{\mathord}{lettersA}{22}
\re@DeclareMathSymbol{\nuup}{\mathord}{lettersA}{23}
\re@DeclareMathSymbol{\xiup}{\mathord}{lettersA}{24}
\re@DeclareMathSymbol{\piup}{\mathord}{lettersA}{25}
\re@DeclareMathSymbol{\rhoup}{\mathord}{lettersA}{26}
\re@DeclareMathSymbol{\sigmaup}{\mathord}{lettersA}{27}
\re@DeclareMathSymbol{\tauup}{\mathord}{lettersA}{28}
\re@DeclareMathSymbol{\upsilonup}{\mathord}{lettersA}{29}
\re@DeclareMathSymbol{\phiup}{\mathord}{lettersA}{30}
\re@DeclareMathSymbol{\chiup}{\mathord}{lettersA}{31}
\re@DeclareMathSymbol{\psiup}{\mathord}{lettersA}{32}
\re@DeclareMathSymbol{\omegaup}{\mathord}{lettersA}{33}
\re@DeclareMathSymbol{\varepsilonup}{\mathord}{lettersA}{34}
\re@DeclareMathSymbol{\varthetaup}{\mathord}{lettersA}{35}
\re@DeclareMathSymbol{\varpiup}{\mathord}{lettersA}{36}
\re@DeclareMathSymbol{\varrhoup}{\mathord}{lettersA}{37}
\re@DeclareMathSymbol{\varsigmaup}{\mathord}{lettersA}{38}
\re@DeclareMathSymbol{\varphiup}{\mathord}{lettersA}{39}
\re@DeclareMathSymbol{\varg}{\mathord}{lettersA}{49}
\re@DeclareMathSymbol{\vary}{\mathord}{lettersA}{50}
\re@DeclareMathSymbol{\varv}{\mathord}{lettersA}{51}
\re@DeclareMathSymbol{\varw}{\mathord}{lettersA}{52}
\DeclareMathSymbol{\m@thbbch@rA}{\mathord}{lettersA}{129}
\DeclareMathSymbol{\m@thbbch@rB}{\mathord}{lettersA}{130}
\DeclareMathSymbol{\m@thbbch@rC}{\mathord}{lettersA}{131}
\DeclareMathSymbol{\m@thbbch@rD}{\mathord}{lettersA}{132}
\DeclareMathSymbol{\m@thbbch@rE}{\mathord}{lettersA}{133}
\DeclareMathSymbol{\m@thbbch@rF}{\mathord}{lettersA}{134}
\DeclareMathSymbol{\m@thbbch@rG}{\mathord}{lettersA}{135}
\DeclareMathSymbol{\m@thbbch@rH}{\mathord}{lettersA}{136}
\DeclareMathSymbol{\m@thbbch@rI}{\mathord}{lettersA}{137}
\DeclareMathSymbol{\m@thbbch@rJ}{\mathord}{lettersA}{138}
\DeclareMathSymbol{\m@thbbch@rK}{\mathord}{lettersA}{139}
\DeclareMathSymbol{\m@thbbch@rL}{\mathord}{lettersA}{140}
\DeclareMathSymbol{\m@thbbch@rM}{\mathord}{lettersA}{141}
\DeclareMathSymbol{\m@thbbch@rN}{\mathord}{lettersA}{142}
\DeclareMathSymbol{\m@thbbch@rO}{\mathord}{lettersA}{143}
\DeclareMathSymbol{\m@thbbch@rP}{\mathord}{lettersA}{144}
\DeclareMathSymbol{\m@thbbch@rQ}{\mathord}{lettersA}{145}
\DeclareMathSymbol{\m@thbbch@rR}{\mathord}{lettersA}{146}
\DeclareMathSymbol{\m@thbbch@rS}{\mathord}{lettersA}{147}
\DeclareMathSymbol{\m@thbbch@rT}{\mathord}{lettersA}{148}
\DeclareMathSymbol{\m@thbbch@rU}{\mathord}{lettersA}{149}
\DeclareMathSymbol{\m@thbbch@rV}{\mathord}{lettersA}{150}
\DeclareMathSymbol{\m@thbbch@rW}{\mathord}{lettersA}{151}
\DeclareMathSymbol{\m@thbbch@rX}{\mathord}{lettersA}{152}
\DeclareMathSymbol{\m@thbbch@rY}{\mathord}{lettersA}{153}
\DeclareMathSymbol{\m@thbbch@rZ}{\mathord}{lettersA}{154}
\DeclareMathSymbol{\varBbbk}{\mathord}{lettersA}{171}
\long\def\DoLongFutureLet #1#2#3#4{%
\def\@FutureLetDecide{#1#2\@FutureLetToken
\def\@FutureLetNext{#3}\else
\def\@FutureLetNext{#4}\fi\@FutureLetNext}
\futurelet\@FutureLetToken\@FutureLetDecide}
\def\DoFutureLet #1#2#3#4{\DoLongFutureLet{#1}{#2}{#3}{#4}}
\def\@EachCharacter{\DoFutureLet{\ifx}{\@EndEachCharacter}%
{\@EachCharacterDone}{\@PickUpTheCharacter}}
\def\m@keCharacter#1{\csname\F@ntPrefix#1\endcsname}
\def\@PickUpTheCharacter#1{\m@keCharacter{#1}\@EachCharacter}
\def\@EachCharacterDone \@EndEachCharacter{}
\DeclareRobustCommand*{\varmathbb}[1]{\gdef\F@ntPrefix{m@thbbch@r}%
\@EachCharacter #1\@EndEachCharacter}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Extension (txex) Definition % largesymbols
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Math Extension A (txexa) Definition % largesymbolsA
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\re@DeclareMathSymbol{\bignplus}{\mathop}{largesymbolsA}{0}
\re@DeclareMathSymbol{\bigsqcupplus}{\mathop}{largesymbolsA}{2}
\re@DeclareMathSymbol{\bigsqcapplus}{\mathop}{largesymbolsA}{4}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{largesymbolsA}{6}
\re@DeclareMathSymbol{\oiintop}{\mathop}{largesymbolsA}{8}
\def\oiint{\oiintop\nolimits}
\re@DeclareMathSymbol{\ointctrclockwiseop}{\mathop}{largesymbolsA}{10}
\def\ointctrclockwise{\ointctrclockwiseop\nolimits}
\re@DeclareMathSymbol{\ointclockwiseop}{\mathop}{largesymbolsA}{12}
\def\ointclockwise{\ointclockwiseop\nolimits}
\re@DeclareMathSymbol{\sqintop}{\mathop}{largesymbolsA}{14}
\def\sqint{\sqintop\nolimits}
\re@DeclareMathSymbol{\varprod}{\mathop}{largesymbolsA}{16}
%\re@DeclareMathDelimiter{\llbracket}{\mathopen}{symbolsC}{126}{largesymbolsA}{18}
%\re@DeclareMathDelimiter{\rrbracket}{\mathclose}{symbolsC}{127}{largesymbolsA}{19}
\re@DeclareMathSymbol{\br@cext}{\mathord}{largesymbolsA}{32}
\re@DeclareMathSymbol{\iintop}{\mathop}{largesymbolsA}{33}
\def\iint{\iintop\nolimits}
\re@DeclareMathSymbol{\iiintop}{\mathop}{largesymbolsA}{35}
\def\iiint{\iiintop\nolimits}
\re@DeclareMathSymbol{\iiiintop}{\mathop}{largesymbolsA}{37}
\def\iiiint{\iiiintop\nolimits}
\re@DeclareMathSymbol{\idotsintop}{\mathop}{largesymbolsA}{39}
\def\idotsint{\idotsintop\nolimits}
\re@DeclareMathSymbol{\oiiintop}{\mathop}{largesymbolsA}{41}
\def\oiiint{\oiiintop\nolimits}
\re@DeclareMathSymbol{\varointctrclockwiseop}{\mathop}{largesymbolsA}{43}
\def\varointctrclockwise{\varointctrclockwiseop\nolimits}
\re@DeclareMathSymbol{\varointclockwiseop}{\mathop}{largesymbolsA}{45}
\def\varointclockwise{\varointclockwiseop\nolimits}
\re@DeclareMathSymbol{\fintop}{\mathop}{largesymbolsA}{62}
\def\fint{\fintop\nolimits}
\re@DeclareMathSymbol{\oiintctrclockwiseop}{\mathop}{largesymbolsA}{64}
\def\oiintctrclockwise{\oiintctrclockwiseop\nolimits}
\re@DeclareMathSymbol{\varoiintclockwiseop}{\mathop}{largesymbolsA}{66}
\def\varoiintclockwise{\varoiintclockwiseop\nolimits}
\re@DeclareMathSymbol{\oiintclockwiseop}{\mathop}{largesymbolsA}{72}
\def\oiintclockwise{\oiintclockwiseop\nolimits}
\re@DeclareMathSymbol{\varoiintctrclockwiseop}{\mathop}{largesymbolsA}{74}
\def\varoiintctrclockwise{\varoiintctrclockwiseop\nolimits}
\re@DeclareMathSymbol{\oiiintctrclockwiseop}{\mathop}{largesymbolsA}{68}
\def\oiiintctrclockwise{\oiiintctrclockwiseop\nolimits}
\re@DeclareMathSymbol{\varoiiintclockwiseop}{\mathop}{largesymbolsA}{70}
\def\varoiiintclockwise{\varoiiintclockwiseop\nolimits}
\re@DeclareMathSymbol{\oiiintclockwiseop}{\mathop}{largesymbolsA}{76}
\def\oiiintclockwise{\oiiintclockwiseop\nolimits}
\re@DeclareMathSymbol{\varoiiintctrclockwiseop}{\mathop}{largesymbolsA}{78}
\def\varoiiintctrclockwise{\varoiiintctrclockwiseop\nolimits}
\re@DeclareMathSymbol{\sqiintop}{\mathop}{largesymbolsA}{80}
\def\sqiint{\sqiintop\nolimits}
\re@DeclareMathSymbol{\sqiiintop}{\mathop}{largesymbolsA}{82}
\def\sqiiint{\sqiiintop\nolimits}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Common Macros, too
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Use math italic, not text, version of dot, in \vdots and \ddots definitions
\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}}
%%% \sqrt redefined
\let\sqrt=\undefined
\DeclareRobustCommand\sqrt{\@ifnextchar[\@sqrt{\mathpalette\@x@sqrt}}
\def\@x@sqrt#1#2{%
\setbox\z@\hbox{$\m@th#1\sqrtsign{#2}$}