Home | History | Annotate | Line # | Download | only in devdvi
      1  1.1  christos name SB
      2  1.1  christos special
      3  1.1  christos internalname msbm10
      4  1.1  christos spacewidth 314576
      5  1.1  christos slant 14.036243
      6  1.1  christos checksum -2001332536
      7  1.1  christos designsize 10485760
      8  1.1  christos charset
      9  1.1  christos lvertneqq	815562,794042,263635	3	0000
     10  1.1  christos gvertneqq	815562,794042,263635	3	0001
     11  1.1  christos nleq	815562,832390,317448	3	0002
     12  1.1  christos ngeq	815562,832390,317448	3	0003
     13  1.1  christos nless	815562,740048,215760	3	0004
     14  1.1  christos ngtr	815562,740048,215760	3	0005
     15  1.1  christos nprec	815562,740048,215760	3	0006
     16  1.1  christos nsucc	815562,740048,215760	3	0007
     17  1.1  christos lneqq	815562,794042,263635	3	0010
     18  1.1  christos gneqq	815562,794042,263635	3	0011
     19  1.1  christos nleqslant	815562,832390,317448	3	0012
     20  1.1  christos ngeqslant	815562,832390,317448	3	0013
     21  1.1  christos lneq	815562,666864,142576	3	0014
     22  1.1  christos gneq	815562,666864,142576	3	0015
     23  1.1  christos npreceq	815562,832390,317448	3	0016
     24  1.1  christos nsucceq	815562,832390,317448	3	0017
     25  1.1  christos precnsim	815562,777110,243501	3	0020
     26  1.1  christos succnsim	815562,777110,243501	3	0021
     27  1.1  christos lnsim	815562,777110,243501	3	0022
     28  1.1  christos gnsim	815562,777110,243501	3	0023
     29  1.1  christos nleqq	815562,964179,439891	3	0024
     30  1.1  christos ngeqq	815562,964179,439891	3	0025
     31  1.1  christos precneqq	815562,794042,263635	3	0026
     32  1.1  christos succneqq	815562,794042,263635	3	0027
     33  1.1  christos precnapprox	815562,794042,274379	3	0030
     34  1.1  christos succnapprox	815562,794042,274379	3	0031
     35  1.1  christos lnapprox	815562,794042,274379	3	0032
     36  1.1  christos gnapprox	815562,794042,274379	3	0033
     37  1.1  christos nsim	815562,384696,-139592	0	0034
     38  1.1  christos ncong	815562,832390,317448	3	0035
     39  1.1  christos diagup	932070,722352,203888	3	0036
     40  1.1  christos diagdown	932070,777110,203888	3	0037
     41  1.1  christos varsubsetneq	815562,666864,142576	3	0040
     42  1.1  christos varsupsetneq	815562,666864,142576	3	0041
     43  1.1  christos nsubseteqq	815562,794042,263635	3	0042
     44  1.1  christos nsupseteqq	815562,794042,263635	3	0043
     45  1.1  christos subsetneqq	815562,832390,298650	3	0044
     46  1.1  christos supsetneqq	815562,832390,298650	3	0045
     47  1.1  christos varsubsetneqq	815562,794042,263635	3	0046
     48  1.1  christos varsupsetneqq	815562,794042,263635	3	0047
     49  1.1  christos subsetneq	815562,666864,142576	3	0050
     50  1.1  christos supsetneq	815562,666864,142576	3	0051
     51  1.1  christos nsubseteq	815562,832390,317448	3	0052
     52  1.1  christos nsupseteq	815562,832390,317448	3	0053
     53  1.1  christos nparallel	524290,777110,263635	3	0054
     54  1.1  christos nmid	291272,777110,263635	3	0055
     55  1.1  christos nshortmid	233018,609920,85632	3	0056
     56  1.1  christos nshortparallel	407781,609920,85632	3	0057
     57  1.1  christos nvdash	640798,722352	2	0060
     58  1.1  christos nVdash	757307,722352	2	0061
     59  1.1  christos nvDash	640798,722352	2	0062
     60  1.1  christos nVDash	757307,722352	2	0063
     61  1.1  christos ntrianglerighteq	815562,832390,317448	3	0064
     62  1.1  christos ntrianglelefteq	815562,832390,317448	3	0065
     63  1.1  christos ntriangleleft	815562,740048,215760	3	0066
     64  1.1  christos ntriangleright	815562,740048,215760	3	0067
     65  1.1  christos nleftarrow	1048579,384696,-139592	0	0070
     66  1.1  christos nrightarrow	1048579,384696,-139592	0	0071
     67  1.1  christos nLeftarrow	1048579,384696,-139592	0	0072
     68  1.1  christos nRightarrow	1048579,384696,-139592	0	0073
     69  1.1  christos nLeftrightarrow	1048579,384696,-139592	0	0074
     70  1.1  christos nleftrightarrow	1048579,384696,-139592	0	0075
     71  1.1  christos divideontimes	815562,609920,85632	3	0076
     72  1.1  christos varnothing	815562,609920,85632	3	0077
     73  1.1  christos nexists	582544,722352	2	0100
     74  1.1  christos BbbA	757307,722352	2	0101
     75  1.1  christos BbbB	699053,722352	2	0102
     76  1.1  christos BbbC	757307,722352	2	0103
     77  1.1  christos BbbD	757307,722352	2	0104
     78  1.1  christos BbbE	699053,722352	2	0105
     79  1.1  christos BbbF	640798,722352	2	0106
     80  1.1  christos BbbG	815562,722352	2	0107
     81  1.1  christos BbbH	815562,722352	2	0110
     82  1.1  christos BbbI	407781,722352	2	0111
     83  1.1  christos BbbJ	524290,722352,174763	3	0112
     84  1.1  christos BbbK	815562,722352	2	0113
     85  1.1  christos BbbL	699053,722352	2	0114
     86  1.1  christos BbbM	990325,722352	2	0115
     87  1.1  christos BbbN	757307,722352	2	0116
     88  1.1  christos BbbO	815562,722352,174763	3	0117
     89  1.1  christos BbbP	640798,722352	2	0120
     90  1.1  christos BbbQ	815562,722352,174763	3	0121
     91  1.1  christos BbbR	757307,722352	2	0122
     92  1.1  christos BbbS	582544,722352	2	0123
     93  1.1  christos BbbT	699053,722352	2	0124
     94  1.1  christos BbbU	757307,722352	2	0125
     95  1.1  christos BbbV	757307,722352	2	0126
     96  1.1  christos BbbW	1048579,722352	2	0127
     97  1.1  christos BbbX	757307,722352	2	0130
     98  1.1  christos BbbY	757307,722352	2	0131
     99  1.1  christos BbbZ	699053,722352	2	0132
    100  1.1  christos ---	1980650,865080	2	0133
    101  1.1  christos ---	2446685,865080	2	0134
    102  1.1  christos ---	1980650,865080	2	0135
    103  1.1  christos ---	2446685,943717	2	0136
    104  1.1  christos Finv	582544,722352	2	0140
    105  1.1  christos Game	669925,722352	2	0141
    106  1.1  christos mho	757307,722352	2	0146
    107  1.1  christos eth	582544,722352	2	0147
    108  1.1  christos eqsim	815562,486275,-38013	2	0150
    109  1.1  christos beth	699053,722352	2	0151
    110  1.1  christos gimel	466035,722352	2	0152
    111  1.1  christos daleth	699053,722352	2	0153
    112  1.1  christos lessdot	815562,565285,40997	3	0154
    113  1.1  christos gtrdot	815562,565285,40997	3	0155
    114  1.1  christos ltimes	815562,609920,85632	3	0156
    115  1.1  christos rtimes	815562,609920,85632	3	0157
    116  1.1  christos shortmid	233018,609920,85632	3	0160
    117  1.1  christos shortparallel	407781,609920,85632	3	0161
    118  1.1  christos smallsetminus	815562,609920,85632	3	0162
    119  1.1  christos thicksim	815562,384696,-139592	0	0163
    120  1.1  christos thickapprox	815562,506590,-17698	2	0164
    121  1.1  christos approxeq	815562,609920,85632	3	0165
    122  1.1  christos succapprox	815562,794042,274379	3	0166
    123  1.1  christos precapprox	815562,794042,274379	3	0167
    124  1.1  christos curvearrowleft	1048579,451470	0	0170
    125  1.1  christos curvearrowright	1048579,451470	0	0171
    126  1.1  christos digamma	815562,609920,85632	3	0172
    127  1.1  christos varkappa	699053,451470,0,42235	0	0173
    128  1.1  christos Bbbk	582544,722352	2	0174
    129  1.1  christos hslash	566525,722352	2	0175
    130  1.1  christos -h	566525,722352	2	0176
    131  1.1  christos hbar	"
    132  1.1  christos backepsilon	450016,451470	0	0177
    133