oct-tex-symbols.cc

Go to the documentation of this file.

// DO NOT EDIT. AUTOMATICALLY GENERATED FROM oct-tex-symbols.in.
static uint32_t symbol_codes[][2] = {
  { 0x03B1, 0xF061 },
  { 0x03B2, 0xF062 },
  { 0x03B3, 0xF067 },
  { 0x03B4, 0xF064 },
  { 0x03B5, 0xF065 },
  { 0x03B6, 0xF07A },
  { 0x03B7, 0xF068 },
  { 0x03B8, 0xF071 },
  { 0x03D1, 0xF04A },
  { 0x03B9, 0xF069 },
  { 0x03BA, 0xF06B },
  { 0x03BB, 0xF06C },
  { 0x03BC, 0xF06D },
  { 0x03BD, 0xF06E },
  { 0x03BE, 0xF078 },
  { 0x03BF, 0xF0B0 },
  { 0x03C0, 0xF070 },
  { 0x03D6, 0xF076 },
  { 0x03C1, 0xF072 },
  { 0x03C3, 0xF073 },
  { 0x03C2, 0xF056 },
  { 0x03C4, 0xF074 },
  { 0x03C5, 0xF075 },
  { 0x03C6, 0xF066 },
  { 0x03C7, 0xF063 },
  { 0x03C8, 0xF079 },
  { 0x03C9, 0xF077 },
  { 0x0393, 0xF047 },
  { 0x0394, 0xF044 },
  { 0x0398, 0xF051 },
  { 0x039B, 0xF04C },
  { 0x039E, 0xF058 },
  { 0x03A0, 0xF050 },
  { 0x03A3, 0xF053 },
  { 0x03D2, 0xF055 },
  { 0x03A6, 0xF046 },
  { 0x03A8, 0xF059 },
  { 0x03A9, 0xF057 },
  { 0x2135, 0xF0C0 },
  { 0x2118, 0xF0C3 },
  { 0x211C, 0xF0C2 },
  { 0x2111, 0xF0C1 },
  { 0x2202, 0xF0B6 },
  { 0x221E, 0xF0A5 },
  { 0x2032, 0xF0A2 },
  { 0x2207, 0xF0D1 },
  { 0x221A, 0xF0D6 },
  { 0x2220, 0xF0D0 },
  { 0x2200, 0xF022 },
  { 0x2203, 0xF024 },
  { 0x00AC, 0xF0D8 },
  { 0x2663, 0xF0A7 },
  { 0x2666, 0xF0A8 },
  { 0x2665, 0xF0A9 },
  { 0x2660, 0xF0AA },
  { 0x222B, 0xF0F2 },
  { 0x00B1, 0xF0B1 },
  { 0x22C5, 0xF0D7 },
  { 0x00D7, 0xF0B4 },
  { 0x2217, 0xF02A },
  { 0x2218, 0xF0B0 },
  { 0x2219, 0xF0B7 },
  { 0x00F7, 0xF0B8 },
  { 0x2229, 0xF0C7 },
  { 0x222A, 0xF0C8 },
  { 0x2228, 0xF0DA },
  { 0x2227, 0xF0D9 },
  { 0x2295, 0xF0C5 },
  { 0x2297, 0xF0C4 },
  { 0x2298, 0xF0C6 },
  { 0x2264, 0xF0A3 },
  { 0x2282, 0xF0CC },
  { 0x2286, 0xF0CD },
  { 0x2208, 0xF0CE },
  { 0x2265, 0xF0B3 },
  { 0x2283, 0xF0C9 },
  { 0x2287, 0xF0CA },
  { 0x220B, 0xF027 },
  { 0x2223, 0xF0BD },
  { 0x2261, 0xF0BA },
  { 0x223C, 0xF07E },
  { 0x2248, 0xF0BB },
  { 0x2245, 0xF040 },
  { 0x221D, 0xF0B5 },
  { 0x22A5, 0xF05E },
  { 0x2190, 0xF0AC },
  { 0x21D0, 0xF0DC },
  { 0x2192, 0xF0AE },
  { 0x21D2, 0xF0DE },
  { 0x2194, 0xF0AB },
  { 0x2191, 0xF0AD },
  { 0x2193, 0xF0AF },
  { 0x230A, 0xF0EB },
  { 0x27E8, 0xF0E1 },
  { 0x2308, 0xF0E9 },
  { 0x230B, 0xF0FB },
  { 0x27E9, 0xF0F1 },
  { 0x2309, 0xF0F9 },
  { 0x2260, 0xF0B9 },
  { 0x2026, 0xF0BC },
  { 0x2205, 0xF0C6 },
  { 0x00A9, 0xF0E3 },
  { 0x00B0, 0xF0B0 },
};
static int num_symbol_codes = 103;