home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 35 Internet / 35-Internet.zip / phoenx05.zip / phoenix / res / fonts / mathfontMath4.properties < prev    next >
Text File  |  2002-12-10  |  6KB  |  96 lines

  1. ##
  2. ## The contents of this file are subject to the Mozilla Public           
  3. ## License Version 1.1 (the "License"); you may not use this file        
  4. ## except in compliance with the License. You may obtain a copy of       
  5. ## the License at http://www.mozilla.org/MPL/                            
  6. ##                                                                       
  7. ## Software distributed under the License is distributed on an "AS       
  8. ## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or            
  9. ## implied. See the License for the specific language governing          
  10. ## rights and limitations under the License.                             
  11. ##                                                                       
  12. ## The Original Code is Mozilla MathML Project.                          
  13. ##                                                                       
  14. ## The Initial Developer of the Original Code is The University Of       
  15. ## Queensland.  Portions created by The University Of Queensland are     
  16. ## Copyright (C) 2001 The University Of Queensland.  All Rights Reserved.
  17. ##                                                                       
  18. ## Contributor(s):                                                       
  19. ##   Roger B. Sidje <rbs@maths.uq.edu.au>                                
  20. ##
  21.  
  22. #  LOCALIZATION NOTE: FILE
  23. #  Do not translate anything in this file
  24.  
  25. # This file contains the list of all stretchy MathML chars that
  26. # can be rendered with the indicated mathfont.
  27. mathfont = Math4
  28.  
  29. #        [ T/L |  M  | B/R |  G  | size0 ... size{N-1} ]
  30. \u002F = \uFFFD\uFFFD\uFFFD\uFFFD\u002F\uF8FF\uF8FF\uF8FF\uF8FF # /
  31. \u02C7 = \uFFFD\uFFFD\uFFFD\uFFFD\u02C7\uF8FF\uF8FF\uF8FF # Hacek, caron
  32. \u0302 = \uFFFD\uFFFD\uFFFD\uFFFD\u0302\uF8FF\uF8FF\uF8FF # Hat
  33. \u2190 = \u2190\uFFFD\uFFFD\uF8FF\u2190 # LeftArrow, larr, leftarrow
  34. \u2192 = \uFFFD\uFFFD\u2192\uF8FF\u2192 # RightArrow, rarr, rightarrow
  35. \u2194 = \u2190\uFFFD\u2192\uF8FF\u2194 # LeftRightArrow, harr, leftrightarrow
  36. \u2191 = \u2191\uFFFD\uFFFD\uF8FF\u2191 # UpArrow, uarr, uparrow
  37. \u2193 = \uFFFD\uFFFD\u2193\uFFFD\u2193 # DownArrow, darr, downarrow
  38. \u2196 = \uFFFD\uFFFD\uFFFD\uFFFD\u2196\uF8FF # UpperLeftArrow, nwarr, nwarrow
  39. \u2197 = \uFFFD\uFFFD\uFFFD\uFFFD\u2197\uF8FF # UpperRightArrow, nearr, nearrow
  40. \u2198 = \uFFFD\uFFFD\uFFFD\uFFFD\u2198\uF8FF # LowerRightArrow, searr, searrow
  41. \u2199 = \uFFFD\uFFFD\uFFFD\uFFFD\u2199\uF8FF # LowerLeftArrow, swarr, swarrow
  42. \u21A4 = \u2190.G\uFFFD\uF8FF\uF8FF\u21A4 # LeftTeeArrow, mapstoleft
  43. \u21A5 = \u2191\uFFFD\uF8FF\u2191.G\u21A5 # UpTeeArrow, mapstoup
  44. \u21A6 = \uF8FF\uFFFD\uFFFD\uF8FF\u21A6 # RightTeeArrow, map, mapsto
  45. \u21A7 = \uF8FF\uFFFD\u2193\u2193.G\u21A7 # DownTeeArrow, mapstodown
  46. \u21A9 = \u2190\uFFFD\uF8FF\u2212\u21A9 # hookleftarrow, larrhk
  47. \u21AA = \uF8FF\uFFFD\u2192\u2212\u21AA # hookrightarrow, rarrhk
  48. \u21C4 = \uF8FF\uFFFD\uF8FF\uF8FF\u21C4 # RightArrowLeftArrow, rightleftarrows, rlarr
  49. \u21C5 = \uF8FF\uFFFD\uF8FF\uF8FF\u21C5 # UpArrowDownArrow, udarr
  50. \u21C6 = \uF8FF\uFFFD\uF8FF\uF8FF\u21C6 # LeftArrowRightArrow, leftrightarrows, lrarr
  51. \u21CB = \uF8FF\uFFFD\uF8FF\uF8FF\u21CB # ReverseEquilibrium, leftrightharpoons, lrhar
  52. \u21CC = \uF8FF\uFFFD\uF8FF\uF8FF\u21CC # Equilibrium, rightleftharpoons, rlhar
  53. \u21F5 = \uF8FF\uFFFD\uF8FF\uF8FF\u21F5 # DownArrowUpArrow, duarr
  54. \u23B4 = \uF8FF\uFFFD\uF8FF\uF8FF\u23B4\uF8FF\uF8FF\uF8FF # OverBracket, tbrk
  55. \u23B5 = \uF8FF\uFFFD\uF8FF\uF8FF\u23B5\uF8FF\uF8FF\uF8FF # UnderBracket, bbrk
  56. \u295C = \u2191\uFFFD\u21A5.B\u2191.G\u295C # RightUpTeeVector
  57. \u295D = \u21A7.T\uFFFD\u21C2\u2193.G\u295D # RightDownTeeVector
  58. \u2960 = \u21BF\uFFFD\u21A5.B\u2191.G\u2960 # LeftUpTeeVector
  59. \u2961 = \u21A7.T\uFFFD\u21C3\u2191.G\u2961 # LeftDownTeeVector
  60. \u21C3 = \uFFFD\uFFFD\u21C3\u2191.G\u21C3 # LeftDownVector
  61. \u2959 = \uFFFD\uFFFD\u2959\u2191.G\u2959 # LeftDownVectorBar
  62. \u21BF = \u21BF\uFFFD\uFFFD\u2191.G\u21BF # LeftUpVector
  63. \u2958 = \u2958\uFFFD\uFFFD\u2191.G\u2958 # LeftUpVectorBar
  64. \u2951 = \u21BF\uFFFD\u21C3\u2191.G\u21BE # LeftUpDownVector
  65. \u21BE = \u21BE\uFFFD\uFFFD\u2191.G\u21BE # RightUpVector
  66. \u2954 = \u2954\uFFFD\uFFFD\u2191.G\u2954 # RightUpVectorBar
  67. \u21C2 = \uFFFD\uFFFD\u21C2\u2191.G\u21C2 # RightDownVector
  68. \u2955 = \uFFFD\uFFFD\u2955\u2191.G\u2955 # RightDownVectorBar
  69. \u294F = \u21BE\uFFFD\u21C2\u2191.G\u294F # RightUpDownVector
  70. \u21BC = \u21BC\uFFFD\uFFFD\uF8FF\u21BC # LeftVector, leftharpoonup, lharu
  71. \u21C0 = \uFFFD\uFFFD\u21C0\uF8FF\u21C0 # RightVector, rharu, rightharpoonup
  72. \u2912 = \u2912\uFFFD\uFFFD\u2191.G\u2912 # UpArrowBar
  73. \u21E4 = \u21E4\uFFFD\uFFFD\u2190.G\u21E4 # LeftArrowBar
  74. \u21E5 = \uFFFD\uFFFD\u21E5\u2192.G\u21E5 # RightArrowBar
  75. \u2913 = \uFFFD\uFFFD\u2913\u2193.G\u2913 # DownArrowBar
  76. \u2953 = \uFFFD\uFFFD\u2953\u2192.G\u2953 # RightVectorBar
  77. \u295E = \u21BD\uFFFD\u21A4.R\u21A4.G\u295E # DownLeftTeeVector
  78. \u2956 = \u2956\uFFFD\uFFFD\u2190.G\u2956 # DownLeftVectorBar
  79. \u2957 = \uFFFD\uFFFD\u2957\u2192.G\u2957 # DownRightVectorBar
  80. \u295A = \u21BC\uFFFD\u21A4.R\u21A4.G\u295A # LeftTeeVector
  81. \uFE35 = \uF8FF\uFFFD\uF8FF\uF8FF\uFE35\uF8FF\uF8FF\uF8FF # OverParenthesis
  82. \uFE36 = \uF8FF\uFFFD\uF8FF\uF8FF\uFE36\uF8FF\uF8FF\uF8FF # UnderParenthesis
  83. \uFE37 = \uF8FF\uF8FF\uF8FF\uF8FF\uFE37\uF8FF\uF8FF\uF8FF # OverBrace
  84. \uFE38 = \uF8FF\uF8FF\uF8FF\uF8FF\uFE38\uF8FF\uF8FF\uF8FF # UnderBrace
  85.  
  86. \uF576 = \u2190\uFFFD\uFFFD\u2190.G\uF576 # LongLeftArrow
  87. \uF577 = \uFFFD\uFFFD\u2192\u2190.G\uF577 # LongRightArrow
  88. \uF578 = \u2190\uFFFD\u2192\u2190.G\uF578 # LongLeftRightArrow
  89. \uF579 = \u21D0\uFFFD\uFFFD\u21D0.G\uF579 # DoubleLongLeftArrow
  90. \uF57A = \uFFFD\uFFFD\u21D2\u21D0.G\uF57A # DoubleLongRightArrow
  91. \uF57B = \u21D0\uFFFD\u21D2\u21D0.G\uF57B # DoubleLongLeftRightArrow
  92.  
  93. #Disabled - they don't align properly
  94. #\u296E = \uF8FF\uFFFD\uF8FF\uF8FF\u296E # UpEquilibrium, udhar
  95. #\u296F = \uF8FF\uFFFD\uF8FF\uF8FF\u296F # ReverseUpEquilibrium, duhar
  96.