haeberli_fixed.h 4.12 KB
typedef struct {
  int sl;
  int sh;
  int tl;
  int th;
} TexDesc;

typedef struct {
  int charmin;
  int charmax;
  int nchars;
  TexDesc *chars;
} TexFont;

TexDesc MyDesc[] = {
   {   0,   0,   0,   0 }, /* index 0 */
   { 112, 116,   3,  17 }, /* index 1 */
   {  89,  96, 109, 115 }, /* index 2 */
   {  13,  23,  96, 106 }, /* index 3 */
   {  12,  22,   3,  19 }, /* index 4 */
   {  77,  87,  52,  65 }, /* index 5 */
   {  30,  41,  52,  65 }, /* index 6 */
   {   3,   7, 120, 125 }, /* index 7 */
   {  39,  45,   3,  18 }, /* index 8 */
   {  47,  52,   3,  18 }, /* index 9 */
   {  50,  60, 109, 118 }, /* index 10 */
   {  67,  75, 109, 117 }, /* index 11 */
   {  98, 102, 109, 115 }, /* index 12 */
   {  40,  49, 120, 123 }, /* index 13 */
   {  21,  25, 120, 124 }, /* index 14 */
   {  10,  18,  52,  65 }, /* index 15 */
   {  21,  31,  82,  94 }, /* index 16 */
   {  15,  19,  82,  94 }, /* index 17 */
   {   3,  13,  82,  94 }, /* index 18 */
   {  15,  24,  67,  80 }, /* index 19 */
   {  36,  47,  67,  80 }, /* index 20 */
   {  33,  43,  82,  94 }, /* index 21 */
   {  49,  58,  67,  80 }, /* index 22 */
   { 107, 116,  82,  93 }, /* index 23 */
   { 100, 109,  52,  65 }, /* index 24 */
   {   3,  13,  67,  80 }, /* index 25 */
   {  62,  65, 109, 117 }, /* index 26 */
   { 100, 105,  82,  93 }, /* index 27 */
   {  25,  35,  21,  35 }, /* index 28 */
   {   9,  19, 120, 125 }, /* index 29 */
   {   3,  11,  21,  35 }, /* index 30 */
   {  89,  98,  52,  65 }, /* index 31 */
   {  98, 110,   3,  17 }, /* index 32 */
   {  61,  74,  21,  34 }, /* index 33 */
   {  87,  96,  21,  34 }, /* index 34 */
   { 111, 121,  67,  79 }, /* index 35 */
   {  76,  85,  21,  34 }, /* index 36 */
   {  99, 109,  67,  79 }, /* index 37 */
   {  50,  59,  21,  34 }, /* index 38 */
   {  87,  98,  82,  94 }, /* index 39 */
   {  54,  62,  37,  50 }, /* index 40 */
   {  68,  71,  82,  94 }, /* index 41 */
   {  81,  90,   3,  17 }, /* index 42 */
   {  43,  52,  52,  65 }, /* index 43 */
   {  77,  86,  37,  50 }, /* index 44 */
   {  88,  98,  37,  50 }, /* index 45 */
   {  58,  66,  82,  94 }, /* index 46 */
   {  87,  97,  67,  79 }, /* index 47 */
   { 109, 118,  21,  34 }, /* index 48 */
   {  45,  56,  82,  94 }, /* index 49 */
   {  14,  23,  37,  50 }, /* index 50 */
   {  98, 107,  21,  34 }, /* index 51 */
   {  73,  85,  82,  94 }, /* index 52 */
   {   3,  12,  37,  50 }, /* index 53 */
   { 100, 112,  37,  50 }, /* index 54 */
   {  25,  39,  37,  50 }, /* index 55 */
   {  64,  75,  37,  50 }, /* index 56 */
   {  37,  48,  21,  34 }, /* index 57 */
   {  69,  80,  67,  79 }, /* index 58 */
   {  54,  59,   3,  18 }, /* index 59 */
   {  13,  23,  21,  35 }, /* index 60 */
   {  24,  29,   3,  19 }, /* index 61 */
   {  77,  87, 109, 116 }, /* index 62 */
   {  27,  38, 120, 124 }, /* index 63 */
   { 116, 120, 109, 114 }, /* index 64 */
   {  89,  98,  96, 106 }, /* index 65 */
   { 114, 122,  37,  50 }, /* index 66 */
   { 100, 109,  96, 106 }, /* index 67 */
   { 111, 121,  52,  65 }, /* index 68 */
   {  14,  23, 109, 118 }, /* index 69 */
   {  26,  34,  67,  80 }, /* index 70 */
   {  61,  71,   3,  18 }, /* index 71 */
   {  60,  67,  67,  79 }, /* index 72 */
   {   3,   8,  52,  65 }, /* index 73 */
   {   3,  10,   3,  19 }, /* index 74 */
   {  20,  28,  52,  65 }, /* index 75 */
   {  82,  85,  67,  79 }, /* index 76 */
   {  35,  46,  96, 106 }, /* index 77 */
   {  25,  33,  96, 106 }, /* index 78 */
   { 111, 120,  96, 105 }, /* index 79 */
   {  66,  75,  52,  65 }, /* index 80 */
   {  54,  64,  52,  65 }, /* index 81 */
   {  48,  55,  96, 106 }, /* index 82 */
   {  79,  87,  96, 106 }, /* index 83 */
   {   3,  11,  96, 107 }, /* index 84 */
   {  68,  77,  96, 106 }, /* index 85 */
   {   3,  12, 109, 118 }, /* index 86 */
   {  37,  48, 109, 118 }, /* index 87 */
   {  57,  66,  96, 106 }, /* index 88 */
   {  41,  52,  37,  50 }, /* index 89 */
   {  25,  35, 109, 118 }, /* index 90 */
   {  73,  79,   3,  17 }, /* index 91 */
   {  92,  96,   3,  17 }, /* index 92 */
   {  31,  37,   3,  18 }, /* index 93 */
   { 104, 114, 109, 114 }  /* index 94 */
};

TexFont MyFont = {
  32,
  126,
  95,
  MyDesc
};