diff options
Diffstat (limited to '')
| -rw-r--r-- | font/devdvi/S | 150 | ||||
| -rw-r--r-- | font/devdvi/SA | 142 | ||||
| -rw-r--r-- | font/devdvi/SB | 132 | ||||
| -rw-r--r-- | font/devdvi/SC | 137 |
4 files changed, 561 insertions, 0 deletions
diff --git a/font/devdvi/S b/font/devdvi/S new file mode 100644 index 0000000..4b4f8d6 --- /dev/null +++ b/font/devdvi/S @@ -0,0 +1,150 @@ +name S +spacewidth 350836 +special +internalname cmsy10 +slant 14.036243 +checksum 555887770 +designsize 10485760 +charset +mi 815562,611670,87382 3 0000 +\- " +pc 291272,466035,-58253 2 0001 +md " +tmu 815562,611670,87382 3 0002 +mu " +** 524290,487880,-36408 2 0003 +tdi 815562,611670,87382 3 0004 +di " +u22C4 524290,466035,-58253 2 0005 +t+- 815562,611670,87382 3 0006 ++- " +-+ 815562,611670,87382 3 0007 +c+ 815562,611670,87382 3 0010 +u2296 815562,611670,87382 3 0011 +c* 815562,611670,87382 3 0012 +u2298 815562,611670,87382 3 0013 +u2299 815562,611670,87382 3 0014 +ci 1048579,728178,203890 3 0015 +u25E6 524290,466035,-58253 2 0016 +bu 524290,466035,-58253 2 0017 +u224D 815562,486275,-38013 2 0020 +== 815562,486275,-38013 2 0021 +ib 815562,666864,142576 3 0022 +ip 815562,666864,142576 3 0023 +<= 815562,666864,142576 3 0024 +>= 815562,666864,142576 3 0025 +u227C 815562,666864,142576 3 0026 +u227D 815562,666864,142576 3 0027 +ti 815562,384696,-139592 0 0030 +ap " +~= 815562,506590,-17698 2 0031 +~~ " +sb 815562,565285,40997 3 0032 +sp 815562,565285,40997 3 0033 +<< 1048579,565285,40997 3 0034 +>> 1048579,565285,40997 3 0035 +u227A 815562,565285,40997 3 0036 +u227B 815562,565285,40997 3 0037 +<- 1048579,384696,-139592 0 0040 +-> 1048579,384696,-139592 0 0041 +ua 524290,728178,203888 3 0042 +da 524290,728178,203888 3 0043 +<> 1048579,384696,-139592 0 0044 +u2197 1048579,728178,203888 3 0045 +u2198 1048579,728178,203888 3 0046 +|= 815562,486275,-38013 2 0047 +lA 1048579,384696,-139592 0 0050 +rA 1048579,384696,-139592 0 0051 +uA 640798,728178,203888 3 0052 +dA 640798,728178,203888 3 0053 +hA 1048579,384696,-139592 0 0054 +u2196 1048579,728178,203888 3 0055 +u2199 1048579,728178,203888 3 0056 +pt 815562,451470 0 0057 +prime 288358,582544 2 0060 +if 1048579,451470 0 0061 +mo 699053,565285,40997 3 0062 +st 699053,565285,40997 3 0063 +u25B3 932070,728178,203890 3 0064 +u25BD 932070,728178,203890 3 0065 +slashnot 0,728178,203888 3 0066 +--- 0,384696,-139592 0 0067 +fa 582544,728178 2 0070 +te 582544,728178 2 0071 +tno 699053,451470 0 0072 +no " +es 524290,786432,58254 3 0073 +Re 757307,728178 2 0074 +Im 757307,728178 2 0075 +u22A4 815562,728178 2 0076 +pp 815562,728178 2 0077 +Ah 640798,728178 2 0100 +A 837258,716526 2 0101 +B 688715,716526,0,31890 2 0102 +C 552106,716526,0,61170 2 0103 +D 808864,716526,0,29128 2 0104 +E 553419,716526,0,93786 2 0105 +F 753662,716526,0,104130 2 0106 +G 623762,716526,101946,62184 3 0107 +H 885541,716526,0,10123 2 0110 +I 570966,716526,0,77408 2 0111 +J 710704,716526,101946,193694 3 0112 +K 798963,716526,0,15147 2 0113 +L 723229,716526 2 0114 +M 1259235,716526 2 0115 +N 860347,716526,0,154518 2 0116 +O 834786,716526,0,29128 2 0117 +P 729347,716526,0,86216 2 0120 +Q 856341,716526,101946 3 0121 +R 888672,716526 2 0122 +S 634974,716526,0,78638 2 0123 +T 571101,716526,0,266514 2 0124 +U 656232,716526,0,104130 2 0125 +V 642549,716526,0,86216 2 0126 +W 1035766,716526,0,86216 2 0127 +X 747946,716526,0,153541 2 0130 +Y 700802,716526,101946,86216 3 0131 +Z 759930,716526,0,83302 2 0132 +cu 699053,582544 2 0133 +ca 699053,582544 2 0134 +u228E 699053,582544 2 0135 +AN 699053,582544 2 0136 +OR 699053,582544 2 0137 +u22A2 640798,728178 2 0140 +u22A3 640798,728178 2 0141 +lf 466035,786432,262144 3 0142 +rf 466035,786432,262144 3 0143 +lc 466035,786432,262144 3 0144 +rc 466035,786432,262144 3 0145 +{ 524290,786432,262144 3 0146 +lC " +} 524290,786432,262144 3 0147 +rC " +la 407781,786432,262144 3 0150 +ra 407781,786432,262144 3 0151 +bar 291272,786432,262144 3 0152 +bv " +| " +ba " +bardbl 524290,786432,262144 3 0153 +va 524290,786432,262144 3 0154 +vA 640798,786432,262144 3 0155 +rs 524290,786432,262144 3 0156 +\ " +u2240 291272,728178,203888 3 0157 +sqrt 873816,41942,1006634 1 0160 +u2210 786434,716526 2 0161 +gr 873816,716526 2 0162 +is 436909,728178,203890,116509 3 0163 +u2294 699053,582544 2 0164 +u2293 699053,582544 2 0165 +u2291 815562,666864,142576 3 0166 +u2292 815562,666864,142576 3 0167 +sc 466037,728178,203890 3 0170 +dg 466035,728178,203890 3 0171 +dd 466035,728178,203890 3 0172 +ps 640798,728178,203890 3 0173 +CL 815562,728178,135926 3 0174 +u2662 815562,728178,135926 3 0175 +u2661 815562,728178,135926 3 0176 +SP 815562,728178,135926 3 0177 diff --git a/font/devdvi/SA b/font/devdvi/SA new file mode 100644 index 0000000..5e9ea2e --- /dev/null +++ b/font/devdvi/SA @@ -0,0 +1,142 @@ +name SA +spacewidth 350836 +special +internalname msam10 +checksum -1749815603 +designsize 10485760 +charset +boxdot 815562,707789 2 0000 +boxplus 815562,707789 2 0001 +boxtimes 815562,707789 2 0002 +square 815562,707789 2 0003 +blacksquare 815562,707789 2 0004 +centerdot 291272,576570 2 0005 +lz 699053,725867,116509 3 0006 +lozenge " +blacklozenge 699053,725867,116509 3 0007 +circlearrowright 815562,610248,85960 3 0010 +circlearrowleft 815562,610248,85960 3 0011 +rightleftharpoons 1048579,547770,14197 3 0012 +leftrightharpoons 1048579,547770,14197 3 0013 +boxminus 815562,707789 2 0014 +Vdash 757307,725867 2 0015 +Vvdash 932070,725867 2 0016 +vDash 640798,725867 2 0017 +twoheadrightarrow 1048579,547770,14197 3 0020 +twoheadleftarrow 1048579,547770,14197 3 0021 +leftleftarrows 1048579,707789,189584 3 0022 +rightrightarrows 1048579,707789,189584 3 0023 +upuparrows 873816,725867,203888 3 0024 +downdownarrows 873816,725867,203888 3 0025 +upharpoonright 436909,725867,203888 3 0026 +downharpoonright 436909,725867,203888 3 0027 +upharpoonleft 436909,725867,203888 3 0030 +downharpoonleft 436909,725867,203888 3 0031 +rightarrowtail 1165088,547770,14197 3 0032 +leftarrowtail 1165088,547770,14197 3 0033 +leftrightarrows 1048579,707789,189584 3 0034 +rightleftarrows 1048579,707789,189584 3 0035 +Lsh 524290,725867 2 0036 +Rsh 524290,725867 2 0037 +rightsquigarrow 1048579,396238,-139592 0 0040 +leftrightsquigarrow 1456360,396238,-139592 0 0041 +looparrowleft 1048579,576570 2 0042 +looparrowright 1048579,576570 2 0043 +circeq 815562,765021,240733 3 0044 +succsim 815562,765021,240733 3 0045 +gtrsim 815562,765021,240733 3 0046 +gtrapprox 815562,792549,268261 3 0047 +multimap 1165088,576570 2 0050 +3d 699053,725867 2 0051 +tf " +therefore " +because 699053,725867 2 0052 +doteqdot 815562,610248,85960 3 0053 +triangleq 815562,961197,85960 3 0054 +precsim 815562,765021,240733 3 0055 +lesssim 815562,765021,240733 3 0056 +lessapprox 815562,792549,268261 3 0057 +eqslantless 815562,667592,143304 3 0060 +eqslantgtr 815562,667592,143304 3 0061 +curlyeqprec 815562,667592,143304 3 0062 +curlyeqsucc 815562,667592,143304 3 0063 +preccurlyeq 815562,667592,143304 3 0064 +leqq 815562,792549,268261 3 0065 +leqslant 815562,667592,143304 3 0066 +lessgtr 815562,707789,189584 3 0067 +backprime 288358,576570 2 0070 +--- 524290,486557,-37731 2 0071 +risingdotseq 815562,610248,85960 3 0072 +fallingdotseq 815562,610248,85960 3 0073 +succcurlyeq 815562,667592,143304 3 0074 +geqq 815562,792549,268261 3 0075 +geqslant 815562,667592,143304 3 0076 +gtrless 815562,707789,189584 3 0077 +sqsubset 815562,576570,36882 3 0100 +sqsupset 815562,576570,36882 3 0101 +vartriangleright 815562,576570,36882 3 0102 +vartriangleleft 815562,576570,36882 3 0103 +trianglerighteq 815562,667592,143304 3 0104 +trianglelefteq 815562,667592,143304 3 0105 +bigstar 990323,725867,203888 3 0106 +between 524290,792549,268261 3 0107 +blacktriangledown 757307,576570 2 0110 +blacktriangleright 815562,576570,36882 3 0111 +blacktriangleleft 815562,576570,36882 3 0112 +--- 524290,486557,-37731 2 0113 +--- 524290,486557,-37731 2 0114 +vartriangle 757307,576570 2 0115 +blacktriangle 757307,576570 2 0116 +triangledown 757307,576570 2 0117 +eqcirc 815562,725867 2 0120 +lesseqgtr 815562,928714,404426 3 0121 +gtreqless 815562,928714,404426 3 0122 +lesseqqgtr 815562,1030294,506006 3 0123 +gtreqqless 815562,1030294,506006 3 0124 +Ye 786434,707789,0,26214 2 0125 +yen " +Rrightarrow 1048579,667592,143304 3 0126 +Lleftarrow 1048579,667592,143304 3 0127 +OK 873816,725867 2 0130 +checkmark " +veebar 640798,725867,203888 3 0131 +barwedge 640798,725867,203888 3 0132 +doublebarwedge 640798,792549,203888 3 0133 +/_ 757307,725867 2 0134 +angle " +measuredangle 757307,725867 2 0135 +sphericalangle 757307,547770,36882 3 0136 +varpropto 815562,725867 2 0137 +smallsmile 815562,725867,203888 3 0140 +smallfrown 815562,725867,203888 3 0141 +Subset 815562,576570,36882 3 0142 +Supset 815562,576570,36882 3 0143 +Cup 699053,576570 2 0144 +Cap 699053,576570 2 0145 +curlywedge 797355,576570 2 0146 +curlyvee 797355,576570 2 0147 +leftthreetimes 815562,725867 2 0150 +rightthreetimes 815562,725867 2 0151 +subseteqq 815562,792549,268261 3 0152 +supseteqq 815562,792549,268261 3 0153 +bumpeq 815562,576570,63568 3 0154 +Bumpeq 815562,576570,63568 3 0155 +lll 1398106,576570,36882 3 0156 +ggg 1398106,576570,36882 3 0157 +ulcorner 524290,725867 2 0160 +urcorner 524290,725867 2 0161 +rg 992648,725867,163146 3 0162 +circledR " +circledS 946045,725867,163146 3 0163 +pitchfork 699053,725867 2 0164 +dotplus 815562,725867,85960 3 0165 +backsim 815562,396238,-139592 0 0166 +backsimeq 815562,486557,-37731 2 0167 +llcorner 524290,396238 0 0170 +lrcorner 524290,396238 0 0171 +maltese 873816,725867 2 0172 +complement 524290,865080 2 0173 +intercal 582544,451470,203888 1 0174 +circledcirc 815562,610248,85960 3 0175 +circledast 815562,610248,85960 3 0176 +circleddash 815562,610248,85960 3 0177 diff --git a/font/devdvi/SB b/font/devdvi/SB new file mode 100644 index 0000000..811b351 --- /dev/null +++ b/font/devdvi/SB @@ -0,0 +1,132 @@ +name SB +special +internalname msbm10 +spacewidth 314576 +slant 14.036243 +checksum -2001332536 +designsize 10485760 +charset +lvertneqq 815562,794042,263635 3 0000 +gvertneqq 815562,794042,263635 3 0001 +nleq 815562,832390,317448 3 0002 +ngeq 815562,832390,317448 3 0003 +nless 815562,740048,215760 3 0004 +ngtr 815562,740048,215760 3 0005 +nprec 815562,740048,215760 3 0006 +nsucc 815562,740048,215760 3 0007 +lneqq 815562,794042,263635 3 0010 +gneqq 815562,794042,263635 3 0011 +nleqslant 815562,832390,317448 3 0012 +ngeqslant 815562,832390,317448 3 0013 +lneq 815562,666864,142576 3 0014 +gneq 815562,666864,142576 3 0015 +npreceq 815562,832390,317448 3 0016 +nsucceq 815562,832390,317448 3 0017 +precnsim 815562,777110,243501 3 0020 +succnsim 815562,777110,243501 3 0021 +lnsim 815562,777110,243501 3 0022 +gnsim 815562,777110,243501 3 0023 +nleqq 815562,964179,439891 3 0024 +ngeqq 815562,964179,439891 3 0025 +precneqq 815562,794042,263635 3 0026 +succneqq 815562,794042,263635 3 0027 +precnapprox 815562,794042,274379 3 0030 +succnapprox 815562,794042,274379 3 0031 +lnapprox 815562,794042,274379 3 0032 +gnapprox 815562,794042,274379 3 0033 +nsim 815562,384696,-139592 0 0034 +ncong 815562,832390,317448 3 0035 +diagup 932070,722352,203888 3 0036 +diagdown 932070,777110,203888 3 0037 +varsubsetneq 815562,666864,142576 3 0040 +varsupsetneq 815562,666864,142576 3 0041 +nsubseteqq 815562,794042,263635 3 0042 +nsupseteqq 815562,794042,263635 3 0043 +subsetneqq 815562,832390,298650 3 0044 +supsetneqq 815562,832390,298650 3 0045 +varsubsetneqq 815562,794042,263635 3 0046 +varsupsetneqq 815562,794042,263635 3 0047 +subsetneq 815562,666864,142576 3 0050 +supsetneq 815562,666864,142576 3 0051 +nsubseteq 815562,832390,317448 3 0052 +nsupseteq 815562,832390,317448 3 0053 +nparallel 524290,777110,263635 3 0054 +nmid 291272,777110,263635 3 0055 +nshortmid 233018,609920,85632 3 0056 +nshortparallel 407781,609920,85632 3 0057 +nvdash 640798,722352 2 0060 +nVdash 757307,722352 2 0061 +nvDash 640798,722352 2 0062 +nVDash 757307,722352 2 0063 +ntrianglerighteq 815562,832390,317448 3 0064 +ntrianglelefteq 815562,832390,317448 3 0065 +ntriangleleft 815562,740048,215760 3 0066 +ntriangleright 815562,740048,215760 3 0067 +nleftarrow 1048579,384696,-139592 0 0070 +nrightarrow 1048579,384696,-139592 0 0071 +nLeftarrow 1048579,384696,-139592 0 0072 +nRightarrow 1048579,384696,-139592 0 0073 +nLeftrightarrow 1048579,384696,-139592 0 0074 +nleftrightarrow 1048579,384696,-139592 0 0075 +divideontimes 815562,609920,85632 3 0076 +varnothing 815562,609920,85632 3 0077 +nexists 582544,722352 2 0100 +BbbA 757307,722352 2 0101 +BbbB 699053,722352 2 0102 +BbbC 757307,722352 2 0103 +BbbD 757307,722352 2 0104 +BbbE 699053,722352 2 0105 +BbbF 640798,722352 2 0106 +BbbG 815562,722352 2 0107 +BbbH 815562,722352 2 0110 +BbbI 407781,722352 2 0111 +BbbJ 524290,722352,174763 3 0112 +BbbK 815562,722352 2 0113 +BbbL 699053,722352 2 0114 +BbbM 990325,722352 2 0115 +BbbN 757307,722352 2 0116 +BbbO 815562,722352,174763 3 0117 +BbbP 640798,722352 2 0120 +BbbQ 815562,722352,174763 3 0121 +BbbR 757307,722352 2 0122 +BbbS 582544,722352 2 0123 +BbbT 699053,722352 2 0124 +BbbU 757307,722352 2 0125 +BbbV 757307,722352 2 0126 +BbbW 1048579,722352 2 0127 +BbbX 757307,722352 2 0130 +BbbY 757307,722352 2 0131 +BbbZ 699053,722352 2 0132 +--- 1980650,865080 2 0133 +--- 2446685,865080 2 0134 +--- 1980650,865080 2 0135 +--- 2446685,943717 2 0136 +Finv 582544,722352 2 0140 +Game 669925,722352 2 0141 +mho 757307,722352 2 0146 +eth 582544,722352 2 0147 +eqsim 815562,486275,-38013 2 0150 +beth 699053,722352 2 0151 +gimel 466035,722352 2 0152 +daleth 699053,722352 2 0153 +lessdot 815562,565285,40997 3 0154 +gtrdot 815562,565285,40997 3 0155 +ltimes 815562,609920,85632 3 0156 +rtimes 815562,609920,85632 3 0157 +shortmid 233018,609920,85632 3 0160 +shortparallel 407781,609920,85632 3 0161 +smallsetminus 815562,609920,85632 3 0162 +thicksim 815562,384696,-139592 0 0163 +thickapprox 815562,506590,-17698 2 0164 +approxeq 815562,609920,85632 3 0165 +succapprox 815562,794042,274379 3 0166 +precapprox 815562,794042,274379 3 0167 +curvearrowleft 1048579,451470 0 0170 +curvearrowright 1048579,451470 0 0171 +digamma 815562,609920,85632 3 0172 +varkappa 699053,451470,0,42235 0 0173 +Bbbk 582544,722352 2 0174 +hslash 566525,722352 2 0175 +-h 566525,722352 2 0176 +hbar " +backepsilon 450016,451470 0 0177 diff --git a/font/devdvi/SC b/font/devdvi/SC new file mode 100644 index 0000000..43497b2 --- /dev/null +++ b/font/devdvi/SC @@ -0,0 +1,137 @@ +name SC +special +internalname cmtex10 +spacewidth 550498 +checksum -538297224 +designsize 10485760 +charset +pc 550498,534482,-106315 2 0000 +md " +da 550498,640797 2 0001 +*a 550498,451470 0 0002 +*b 550498,640797,233018 3 0003 +AN 550498,512640 2 0004 +tno 550498,451470 0 0005 +no " +mo 550498,582542,-58254 2 0006 +*p 550498,451470 0 0007 +*l 550498,640797 2 0010 +*g 550498,451470,233018 1 0011 +*d 550498,640797 2 0012 +ua 550498,640797 2 0013 +pm 550498,556326,-84470 2 0014 +c+ 550498,556326,-84470 2 0015 +if 550498,451470 0 0016 +pd 550498,640797 2 0017 +sb 550498,582542,-58254 2 0020 +sp 550498,582542,-58254 2 0021 +ca 550498,512640 2 0022 +cu 550498,512640 2 0023 +fa 550498,640797 2 0024 +te 550498,640797 2 0025 +c* 550498,556326,-84470 2 0026 +u21C6 550498,628053,-12744 2 0027 +<- 550498,435813,-204984 0 0030 +-> 550498,435813,-204984 0 0031 +!= 550498,672827,32030 3 0032 +u22C4 550498,534482,-106315 2 0033 +<= 550498,661547,20750 3 0034 +>= 550498,661547,20750 3 0035 +== 550498,514818,-125979 2 0036 +OR 550498,512640 2 0037 +--- 550498 0 0040 +--- 550498,640797 2 0041 +--- 550498,640797 2 0042 +--- 550498,640797 2 0043 +--- 550498,728178,87381 3 0044 +--- 550498,728178,87381 3 0045 +--- 550498,640797 2 0046 +--- 550498,640797 2 0047 +--- 550498,728178,87379 3 0050 +--- 550498,728178,87379 3 0051 +--- 550498,546134 2 0052 +--- 550498,556326,-84470 2 0053 +--- 550498,131072,145635 1 0054 +--- 550498,556326,-84470 2 0055 +--- 550498,131072 0 0056 +--- 550498,728178,87379 3 0057 +--- 550498,640797 2 0060 +--- 550498,640797 2 0061 +--- 550498,640797 2 0062 +--- 550498,640797 2 0063 +--- 550498,640797 2 0064 +--- 550498,640797 2 0065 +--- 550498,640797 2 0066 +--- 550498,640797 2 0067 +--- 550498,640797 2 0070 +--- 550498,640797 2 0071 +--- 550498,451470 0 0072 +--- 550498,451470,145635 1 0073 +--- 550498,582542,-58254 2 0074 +--- 550498,435813,-204984 0 0075 +--- 550498,582542,-58254 2 0076 +--- 550498,640797 2 0077 +--- 550498,640797 2 0100 +--- 550498,640797 2 0101 +--- 550498,640797 2 0102 +--- 550498,640797 2 0103 +--- 550498,640797 2 0104 +--- 550498,640797 2 0105 +--- 550498,640797 2 0106 +--- 550498,640797 2 0107 +--- 550498,640797 2 0110 +--- 550498,640797 2 0111 +--- 550498,640797 2 0112 +--- 550498,640797 2 0113 +--- 550498,640797 2 0114 +--- 550498,640797 2 0115 +--- 550498,640797 2 0116 +--- 550498,640797 2 0117 +--- 550498,640797 2 0120 +--- 550498,640797,145635 3 0121 +--- 550498,640797 2 0122 +--- 550498,640797 2 0123 +--- 550498,640797 2 0124 +--- 550498,640797 2 0125 +--- 550498,640797 2 0126 +--- 550498,640797 2 0127 +--- 550498,640797 2 0130 +--- 550498,640797 2 0131 +--- 550498,640797 2 0132 +--- 550498,728178,87379 3 0133 +--- 550498,728178,87379 3 0134 +--- 550498,728178,87379 3 0135 +--- 550498,640797 2 0136 +--- 550498,0,99757 1 0137 +--- 550498,640797 2 0140 +--- 550498,451470 0 0141 +--- 550498,640797 2 0142 +--- 550498,451470 0 0143 +--- 550498,640797 2 0144 +--- 550498,451470 0 0145 +--- 550498,640797 2 0146 +--- 550498,451470,233018 1 0147 +--- 550498,640797 2 0150 +--- 550498,640797 2 0151 +--- 550498,640797,233018 3 0152 +--- 550498,640797 2 0153 +--- 550498,640797 2 0154 +--- 550498,451470 0 0155 +--- 550498,451470 0 0156 +--- 550498,451470 0 0157 +--- 550498,451470,233018 1 0160 +--- 550498,451470,233018 1 0161 +--- 550498,451470 0 0162 +--- 550498,451470 0 0163 +--- 550498,580466 2 0164 +--- 550498,451470 0 0165 +--- 550498,451470 0 0166 +--- 550498,451470 0 0167 +--- 550498,451470 0 0170 +--- 550498,451470,233018 1 0171 +--- 550498,451470 0 0172 +--- 550498,728178,87379 3 0173 +--- 550498,728178,87379 3 0174 +--- 550498,728178,87379 3 0175 +--- 550498,640797 2 0176 +is 550498,640797,233018 3 0177 |