bold.js 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. exports.bold = void 0;
  4. var FontData_js_1 = require("../../FontData.js");
  5. var bold_js_1 = require("../../../common/fonts/tex/bold.js");
  6. exports.bold = (0, FontData_js_1.AddCSS)(bold_js_1.bold, {
  7. 0xB7: { c: '\\22C5' },
  8. 0x131: { f: '' },
  9. 0x237: { f: '' },
  10. 0x2B9: { c: '\\2032' },
  11. 0x2002: { c: '' },
  12. 0x2003: { c: '' },
  13. 0x2004: { c: '' },
  14. 0x2005: { c: '' },
  15. 0x2006: { c: '' },
  16. 0x2009: { c: '' },
  17. 0x200A: { c: '' },
  18. 0x2015: { c: '\\2014' },
  19. 0x2016: { c: '\\2225' },
  20. 0x2017: { c: '_' },
  21. 0x2022: { c: '\\2219' },
  22. 0x2033: { c: '\\2032\\2032' },
  23. 0x2034: { c: '\\2032\\2032\\2032' },
  24. 0x203E: { c: '\\2C9' },
  25. 0x2044: { c: '/' },
  26. 0x2057: { c: '\\2032\\2032\\2032\\2032' },
  27. 0x20D7: { c: '\\2192', f: 'VB' },
  28. 0x219A: { c: '\\2190\\338' },
  29. 0x219B: { c: '\\2192\\338' },
  30. 0x21AE: { c: '\\2194\\338' },
  31. 0x21CD: { c: '\\21D0\\338' },
  32. 0x21CE: { c: '\\21D4\\338' },
  33. 0x21CF: { c: '\\21D2\\338' },
  34. 0x2204: { c: '\\2203\\338' },
  35. 0x2206: { c: '\\394' },
  36. 0x220C: { c: '\\220B\\338' },
  37. 0x2224: { c: '\\2223\\338' },
  38. 0x2226: { c: '\\2225\\338' },
  39. 0x2241: { c: '\\223C\\338' },
  40. 0x2244: { c: '\\2243\\338' },
  41. 0x2247: { c: '\\2245\\338' },
  42. 0x2249: { c: '\\2248\\338' },
  43. 0x2262: { c: '\\2261\\338' },
  44. 0x226D: { c: '\\224D\\338' },
  45. 0x226E: { c: '<\\338' },
  46. 0x226F: { c: '>\\338' },
  47. 0x2270: { c: '\\2264\\338' },
  48. 0x2271: { c: '\\2265\\338' },
  49. 0x2280: { c: '\\227A\\338' },
  50. 0x2281: { c: '\\227B\\338' },
  51. 0x2284: { c: '\\2282\\338' },
  52. 0x2285: { c: '\\2283\\338' },
  53. 0x2288: { c: '\\2286\\338' },
  54. 0x2289: { c: '\\2287\\338' },
  55. 0x22AC: { c: '\\22A2\\338' },
  56. 0x22AD: { c: '\\22A8\\338' },
  57. 0x22E2: { c: '\\2291\\338' },
  58. 0x22E3: { c: '\\2292\\338' },
  59. 0x2329: { c: '\\27E8' },
  60. 0x232A: { c: '\\27E9' },
  61. 0x25B5: { c: '\\25B3' },
  62. 0x25BF: { c: '\\25BD' },
  63. 0x2758: { c: '\\2223' },
  64. 0x29F8: { c: '/', f: 'BI' },
  65. 0x2A2F: { c: '\\D7' },
  66. 0x3008: { c: '\\27E8' },
  67. 0x3009: { c: '\\27E9' },
  68. });
  69. //# sourceMappingURL=bold.js.map