home *** CD-ROM | disk | FTP | other *** search
/ PC World 2003 July & August / PCWorld_2003-07-08_cd.bin / Komunik / firebird / MozillaFirebird-0.6-win32.exe / MozillaFirebird / res / fonts / mathfont.properties < prev    next >
Text File  |  2003-04-21  |  39KB  |  483 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:
  23. # These are used to display an alert box to warn users when MathML fonts
  24. # are not installed on their system. The list of missing fonts will be
  25. # substituted in argument %1$S (see a screenshot in bug 128139).
  26. mathfont_missing_dialog_title = Missing MathML Fonts
  27. mathfont_missing_dialog_message = To properly display the MathML on this page you need to install the following fonts:\n%1$S.\n\n\n For further information see:\nhttp://www.mozilla.org/projects/mathml/fonts
  28.  
  29. ##LOCALIZATION NOTE:
  30. # Do not translate anything else in this file
  31.  
  32. # Ordered list of fonts with which to attempt to stretch MathML characters.
  33. # See the documentation at the end of this file for details on the setup of
  34. # the property file associated to each font. This order can be overriden by
  35. # setting the pref("font.mathfont-family", "CMSY10, CMEX10, ...") or by
  36. # setting the font-family list in :-moz-math-font-style-stretchy in mathml.css.
  37.  
  38. font.mathfont-family = CMSY10, CMEX10, Math1, Math2, Math4, MT Extra, Symbol
  39.  
  40. # Style invariant chars (these chars have their own intrinsic predefined styles)
  41. # XXX complete these...
  42.  
  43. #mathvariant.normal =
  44. #mathvariant.bold =
  45. #mathvariant.italic =
  46. #mathvariant.bold-italic =
  47. #mathvariant.sans-serif =
  48. #mathvariant.bold-sans-serif =
  49. #mathvariant.sans-serif-italic =
  50. #mathvariant.sans-serif-bold-italic =
  51. #mathvariant.monospace =
  52. #mathvariant.script =
  53. #mathvariant.bold-script =
  54. #mathvariant.fraktur = 
  55. #mathvariant.bold-fraktur =
  56. mathvariant.double-struck = \u2102\u210D\u2115\u2119\u211A\u211D\u2124
  57.  
  58.  
  59. # Stretchy characters that have their preferred extension fonts.
  60. # - The ".variants" represents the ordered list of fonts where to look for glyph
  61. # of larger sizes. Note that if one of the fonts specified for a given character is
  62. # installed on the user' system, no other alternate font will be used to attempt
  63. # to stretch that particular character. The declaration is ignored if none of the
  64. # fonts is installed.
  65. # - The ".parts" represents the ordered list of fonts that should be used to look
  66. # for the partial glyphs to be used to build up the character. Note that if one of
  67. # the specified fonts is installed on the user' system, no other alternate font
  68. # will be used to attempt to stretch that particular character. The declaration is
  69. # ignored if none of the fonts is installed.
  70. # Each entry is specified using the Unicode format of the character, and
  71. # the comma-separated list of fonts like in the font-family property of CSS.
  72. # A character can request different fonts for its variants and for its parts.
  73.  
  74. # Use the safer Symbol font for ≤ And also for ≥ for the sake of uniformity
  75. # @see http://bugzilla.mozilla.org/show_bug.cgi?id=120198#c27
  76. # Note: setting base fonts for non-stretchy characters only works
  77. # for operators that are ultimately handled by nsMathMLChar.
  78. # @see how |useMathMLChar| is set in nsMathMLmoFrame::Stretch() & Paint().
  79. font.mathfont-family.\u2264.base     = Symbol
  80. font.mathfont-family.\u2265.base     = Symbol
  81.  
  82. # CMSY10 or Math2 are preferred for Sqrt at its base size
  83. font.mathfont-family.\u221A.base     = CMSY10, Math2
  84.  
  85. # CMEX10 or Math2 are preferred for Sqrt when stretching
  86. font.mathfont-family.\u221A.variants = CMEX10, Math2
  87. font.mathfont-family.\u221A.parts    = CMEX10, Math2
  88.  
  89. # CMEX10 is preferred for OverBrace and UnderBrace
  90. font.mathfont-family.\uFE37.parts    = CMEX10
  91. font.mathfont-family.\uFE38.parts    = CMEX10
  92.  
  93. # Operator Dictionary indexed on the "form" (i.e., infix, prefix, or suffix).
  94. # Each entry lists the attributes of the operator, using its Unicode format.
  95.  
  96. operator.\u0028.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # (
  97. operator.\u0029.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # )
  98. operator.\u005B.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # [
  99. operator.\u005D.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ]
  100. operator.\u007B.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # {
  101. operator.\u007D.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # }
  102. operator.\u201D.postfix = fence:true lspace:0em rspace:0em # ”
  103. operator.\u2019.postfix = fence:true lspace:0em rspace:0em # ’
  104. operator.\u2329.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟨
  105. # UNRESOLVED operator.&LeftBracketingBar;.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftBracketingBar;
  106. operator.\u2308.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⌈
  107. operator.\u301A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟦
  108. # UNRESOLVED operator.&LeftDoubleBracketingBar;.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftDoubleBracketingBar;
  109. operator.\u230A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⌊
  110. operator.\u201C.prefix = fence:true lspace:0em rspace:0em # “
  111. operator.\u2018.prefix = fence:true lspace:0em rspace:0em # ‘
  112. operator.\u232A.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟩
  113. # UNRESOLVED operator.&RightBracketingBar;.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightBracketingBar;
  114. operator.\u2309.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⌉
  115. operator.\u301B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟧
  116. # UNRESOLVED operator.&RightDoubleBracketingBar;.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightDoubleBracketingBar;
  117. operator.\u230B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⌋
  118. # UNRESOLVED operator.&LeftSkeleton;.prefix = fence:true lspace:0em rspace:0em # &LeftSkeleton;
  119. # UNRESOLVED operator.&RightSkeleton;.postfix = fence:true lspace:0em rspace:0em # &RightSkeleton;
  120. operator.\u200B.infix = separator:true lspace:0em rspace:0em # ⁣
  121. operator.\u002C.infix = separator:true lspace:0em rspace:verythickmathspace # ,
  122. operator.\u2500.infix = stretchy:horizontal minsize:0 lspace:0em rspace:0em # ─
  123. operator.\u007C.infix = stretchy:vertical minsize:0 lspace:0em rspace:0em # | |
  124. operator.\u003B.infix = separator:true lspace:0em rspace:thickmathspace # ;
  125. operator.\u003B.postfix = separator:true lspace:0em rspace:0em # ;
  126. operator.\u003A\u003D.infix = lspace:thickmathspace rspace:thickmathspace # :=
  127. operator.\u2254.infix = lspace:thickmathspace rspace:thickmathspace # ≔
  128. operator.\u2235.infix = lspace:thickmathspace rspace:thickmathspace # ∵
  129. operator.\u2234.infix = lspace:thickmathspace rspace:thickmathspace # ∴
  130. operator.\u2758.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ❘
  131. operator.\u002F\u002F.infix = lspace:thickmathspace rspace:thickmathspace # //
  132. operator.\u2237.infix = lspace:thickmathspace rspace:thickmathspace # ∷ ∷
  133. operator.\u0026.prefix = lspace:0em rspace:thickmathspace # &
  134. operator.\u0026.postfix = lspace:thickmathspace rspace:0em # &
  135. operator.\u002A\u003D.infix = lspace:thickmathspace rspace:thickmathspace # *=
  136. operator.\u002D\u003D.infix = lspace:thickmathspace rspace:thickmathspace # -=
  137. operator.\u002B\u003D.infix = lspace:thickmathspace rspace:thickmathspace # +=
  138. operator.\u002F\u003D.infix = lspace:thickmathspace rspace:thickmathspace # /=
  139. operator.\u002D\u003E.infix = lspace:thickmathspace rspace:thickmathspace # ->
  140. operator.\u003A.infix = lspace:thickmathspace rspace:thickmathspace # :
  141. operator.\u002E\u002E.postfix = lspace:mediummathspace rspace:0em # ..
  142. operator.\u002E\u002E\u002E.postfix = lspace:mediummathspace rspace:0em # ...
  143. operator.\u220B.infix = lspace:thickmathspace rspace:thickmathspace # ∋ ∋
  144. operator.\u2AE4.infix = lspace:thickmathspace rspace:thickmathspace # ⫤
  145. operator.\u22A8.infix = lspace:thickmathspace rspace:thickmathspace # ⊨
  146. operator.\u22A4.infix = lspace:thickmathspace rspace:thickmathspace # ⊤
  147. operator.\u22A3.infix = lspace:thickmathspace rspace:thickmathspace # ⊣
  148. operator.\u22A2.infix = lspace:thickmathspace rspace:thickmathspace # ⊢
  149. operator.\u21D2.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇒ ⇒
  150. operator.\u2970.infix = lspace:thickmathspace rspace:thickmathspace # ⥰
  151. operator.\u007C\u007C.infix = lspace:mediummathspace rspace:mediummathspace # ||
  152. operator.\u2A54.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⩔
  153. operator.\u0026\u0026.infix = lspace:thickmathspace rspace:thickmathspace # &&
  154. operator.\u2A53.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⩓
  155. operator.\u0026.infix = lspace:thickmathspace rspace:thickmathspace # &
  156. operator.\u0021.prefix = lspace:0em rspace:thickmathspace # !
  157. operator.\u2AEC.prefix = lspace:0em rspace:thickmathspace # ⫬
  158. operator.\u2203.prefix = lspace:0em rspace:thickmathspace # ∃
  159. operator.\u2200.prefix = lspace:0em rspace:thickmathspace # ∀
  160. operator.\u2204.prefix = lspace:0em rspace:thickmathspace # ∄
  161. operator.\u2208.infix = lspace:thickmathspace rspace:thickmathspace # ∈
  162. operator.\u2209.infix = lspace:thickmathspace rspace:thickmathspace # ∉
  163. operator.\u220C.infix = lspace:thickmathspace rspace:thickmathspace # ∌
  164. operator.\uEF1C.infix = lspace:thickmathspace rspace:thickmathspace # ⊏̸
  165. operator.\u22E2.infix = lspace:thickmathspace rspace:thickmathspace # ⋢
  166. operator.\uEF1D.infix = lspace:thickmathspace rspace:thickmathspace # ⊐̸
  167. operator.\u22E3.infix = lspace:thickmathspace rspace:thickmathspace # ⋣
  168. operator.\u2284.infix = lspace:thickmathspace rspace:thickmathspace # ⊂⃒
  169. operator.\u2288.infix = lspace:thickmathspace rspace:thickmathspace # ⊈
  170. operator.\u2285.infix = lspace:thickmathspace rspace:thickmathspace # ⊃⃒
  171. operator.\u2289.infix = lspace:thickmathspace rspace:thickmathspace # ⊉
  172. operator.\u228F.infix = lspace:thickmathspace rspace:thickmathspace # ⊏
  173. operator.\u2291.infix = lspace:thickmathspace rspace:thickmathspace # ⊑
  174. operator.\u2290.infix = lspace:thickmathspace rspace:thickmathspace # ⊐
  175. operator.\u2292.infix = lspace:thickmathspace rspace:thickmathspace # ⊒
  176. operator.\u22D0.infix = lspace:thickmathspace rspace:thickmathspace # ⋐
  177. operator.\u2286.infix = lspace:thickmathspace rspace:thickmathspace # ⊆
  178. operator.\u2283.infix = lspace:thickmathspace rspace:thickmathspace # ⊃
  179. operator.\u2287.infix = lspace:thickmathspace rspace:thickmathspace # ⊇
  180. operator.\u21D0.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇐
  181. operator.\u21D4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇔
  182. operator.\u2950.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥐
  183. operator.\u295E.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥞
  184. operator.\u21BD.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↽
  185. operator.\u2956.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥖
  186. operator.\u295F.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥟
  187. operator.\u21C1.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇁
  188. operator.\u2957.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥗
  189. operator.\u2190.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ←
  190. operator.\u21E4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇤
  191. operator.\u21C6.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇆
  192. operator.\u2194.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↔
  193. operator.\u294E.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥎
  194. operator.\u21A4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↤
  195. operator.\u295A.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥚
  196. operator.\u21BC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↼
  197. operator.\u2952.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥒
  198. operator.\u2199.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↙
  199. operator.\u2198.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↘
  200. operator.\u2192.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # →
  201. operator.\u21E5.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇥
  202. operator.\u21C4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇄
  203. operator.\u21A6.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↦
  204. operator.\u295B.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥛
  205. operator.\u21C0.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇀
  206. operator.\u2953.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥓
  207. operator.\uEEF7.infix = lspace:thickmathspace rspace:thickmathspace # ←
  208. operator.\uEEF8.infix = lspace:thickmathspace rspace:thickmathspace # →
  209. operator.\u2196.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ↖
  210. operator.\u2197.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ↗
  211. operator.\u003D.infix = lspace:thickmathspace rspace:thickmathspace # =
  212. operator.\u003C.infix = lspace:thickmathspace rspace:thickmathspace # <
  213. operator.\u003E.infix = lspace:thickmathspace rspace:thickmathspace # >
  214. operator.\u0021\u003D.infix = lspace:thickmathspace rspace:thickmathspace # !=
  215. operator.\u003D\u003D.infix = lspace:thickmathspace rspace:thickmathspace # ==
  216. operator.\u003C\u003D.infix = lspace:thickmathspace rspace:thickmathspace # <=
  217. operator.\u003E\u003D.infix = lspace:thickmathspace rspace:thickmathspace # >=
  218. operator.\u2261.infix = lspace:thickmathspace rspace:thickmathspace # ≡
  219. operator.\u224D.infix = lspace:thickmathspace rspace:thickmathspace # ≍
  220. operator.\u2250.infix = lspace:thickmathspace rspace:thickmathspace # ≐
  221. operator.\u2225.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ∥
  222. operator.\u2A75.infix = lspace:thickmathspace rspace:thickmathspace # ⩵
  223. operator.\u2242.infix = lspace:thickmathspace rspace:thickmathspace # ≂
  224. operator.\u21CC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇌
  225. operator.\u2265.infix = lspace:thickmathspace rspace:thickmathspace # ≥
  226. operator.\u22DB.infix = lspace:thickmathspace rspace:thickmathspace # ⋛
  227. operator.\u2267.infix = lspace:thickmathspace rspace:thickmathspace # ≧
  228. operator.\u2AA2.infix = lspace:thickmathspace rspace:thickmathspace # ⪢
  229. operator.\u2277.infix = lspace:thickmathspace rspace:thickmathspace # ≷
  230. operator.\u2A7E.infix = lspace:thickmathspace rspace:thickmathspace # ⩾
  231. operator.\u2273.infix = lspace:thickmathspace rspace:thickmathspace # ≳
  232. operator.\u224E.infix = lspace:thickmathspace rspace:thickmathspace # ≎
  233. operator.\u224F.infix = lspace:thickmathspace rspace:thickmathspace # ≏
  234. operator.\u22B2.infix = lspace:thickmathspace rspace:thickmathspace # ⊲
  235. operator.\u29CF.infix = lspace:thickmathspace rspace:thickmathspace # ⧏
  236. operator.\u22B4.infix = lspace:thickmathspace rspace:thickmathspace # ⊴
  237. operator.\u2264.infix = lspace:thickmathspace rspace:thickmathspace # ≤
  238. operator.\u22DA.infix = lspace:thickmathspace rspace:thickmathspace # ⋚
  239. operator.\u2266.infix = lspace:thickmathspace rspace:thickmathspace # ≦
  240. operator.\u2276.infix = lspace:thickmathspace rspace:thickmathspace # ≶
  241. operator.\u2AA1.infix = lspace:thickmathspace rspace:thickmathspace # ⪡
  242. operator.\u2A7D.infix = lspace:thickmathspace rspace:thickmathspace # ⩽
  243. operator.\u2272.infix = lspace:thickmathspace rspace:thickmathspace # ≲
  244. operator.\u226B.infix = lspace:thickmathspace rspace:thickmathspace # ≫
  245. operator.\u226A.infix = lspace:thickmathspace rspace:thickmathspace # ≪
  246. operator.\u2262.infix = lspace:thickmathspace rspace:thickmathspace # ≢
  247. operator.\u226D.infix = lspace:thickmathspace rspace:thickmathspace # ≭
  248. operator.\u2226.infix = lspace:thickmathspace rspace:thickmathspace # ∦
  249. operator.\u2260.infix = lspace:thickmathspace rspace:thickmathspace # ≠
  250. operator.\uEF08.infix = lspace:thickmathspace rspace:thickmathspace # ≂̸
  251. operator.\u226F.infix = lspace:thickmathspace rspace:thickmathspace # ≯
  252. operator.\uEF17.infix = lspace:thickmathspace rspace:thickmathspace # ≱
  253. operator.\u2270.infix = lspace:thickmathspace rspace:thickmathspace # ≧̸ ⩽̸
  254. operator.\uEF15.infix = lspace:thickmathspace rspace:thickmathspace # ≫̸
  255. operator.\u2279.infix = lspace:thickmathspace rspace:thickmathspace # ≹
  256. operator.\u2271.infix = lspace:thickmathspace rspace:thickmathspace # ⩾̸
  257. operator.\u2275.infix = lspace:thickmathspace rspace:thickmathspace # ≵
  258. operator.\uEF0C.infix = lspace:thickmathspace rspace:thickmathspace # ≎̸
  259. operator.\uEF0D.infix = lspace:thickmathspace rspace:thickmathspace # ≏̸
  260. operator.\u22EA.infix = lspace:thickmathspace rspace:thickmathspace # ⋪
  261. operator.\uEF2D.infix = lspace:thickmathspace rspace:thickmathspace # ⧏̸
  262. operator.\u22EC.infix = lspace:thickmathspace rspace:thickmathspace # ⋬
  263. operator.\u226E.infix = lspace:thickmathspace rspace:thickmathspace # ≮
  264. operator.\uEF16.infix = lspace:thickmathspace rspace:thickmathspace # ≰
  265. # UNRESOLVED operator.&NotLessFullEqual;.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessFullEqual;
  266. operator.\u2278.infix = lspace:thickmathspace rspace:thickmathspace # ≸
  267. operator.\uEF13.infix = lspace:thickmathspace rspace:thickmathspace # ≪̸
  268. operator.\u2274.infix = lspace:thickmathspace rspace:thickmathspace # ≴
  269. operator.\uEF2A.infix = lspace:thickmathspace rspace:thickmathspace # ⪢̸
  270. operator.\uEF29.infix = lspace:thickmathspace rspace:thickmathspace # ⪡̸
  271. operator.\u2280.infix = lspace:thickmathspace rspace:thickmathspace # ⊀
  272. operator.\uEF33.infix = lspace:thickmathspace rspace:thickmathspace # ⪯̸
  273. operator.\u22E0.infix = lspace:thickmathspace rspace:thickmathspace # ⋠
  274. # UNRESOLVED operator.&NotPrecedesTilde;.infix = lspace:thickmathspace rspace:thickmathspace # &NotPrecedesTilde;
  275. operator.\u22EB.infix = lspace:thickmathspace rspace:thickmathspace # ⋫
  276. operator.\uEF2E.infix = lspace:thickmathspace rspace:thickmathspace # ⧐̸
  277. operator.\u22ED.infix = lspace:thickmathspace rspace:thickmathspace # ⋭
  278. operator.\u2281.infix = lspace:thickmathspace rspace:thickmathspace # ⊁
  279. operator.\uEF34.infix = lspace:thickmathspace rspace:thickmathspace # ⪰̸
  280. operator.\u22E1.infix = lspace:thickmathspace rspace:thickmathspace # ⋡
  281. operator.\uEF18.infix = lspace:thickmathspace rspace:thickmathspace # ≿̸
  282. operator.\u2241.infix = lspace:thickmathspace rspace:thickmathspace # ≁
  283. operator.\u2244.infix = lspace:thickmathspace rspace:thickmathspace # ≄
  284. operator.\u2247.infix = lspace:thickmathspace rspace:thickmathspace # ≇
  285. operator.\u2249.infix = lspace:thickmathspace rspace:thickmathspace # ≉
  286. operator.\u2224.infix = lspace:thickmathspace rspace:thickmathspace # ∤
  287. operator.\u227A.infix = lspace:thickmathspace rspace:thickmathspace # ≺
  288. operator.\u2AAF.infix = lspace:thickmathspace rspace:thickmathspace # ⪯
  289. operator.\u227C.infix = lspace:thickmathspace rspace:thickmathspace # ≼
  290. operator.\u227E.infix = lspace:thickmathspace rspace:thickmathspace # ≾
  291. operator.\u221D.infix = lspace:thickmathspace rspace:thickmathspace # ∝
  292. operator.\u21CB.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇋
  293. operator.\u22B3.infix = lspace:thickmathspace rspace:thickmathspace # ⊳
  294. operator.\u29D0.infix = lspace:thickmathspace rspace:thickmathspace # ⧐
  295. operator.\u22B5.infix = lspace:thickmathspace rspace:thickmathspace # ⊵
  296. operator.\u227B.infix = lspace:thickmathspace rspace:thickmathspace # ≻
  297. operator.\u227D.infix = lspace:thickmathspace rspace:thickmathspace # ⪰ ≽
  298. operator.\u227F.infix = lspace:thickmathspace rspace:thickmathspace # ≿
  299. operator.\u223C.infix = lspace:thickmathspace rspace:thickmathspace # ∼
  300. operator.\u2243.infix = lspace:thickmathspace rspace:thickmathspace # ≃
  301. operator.\u2245.infix = lspace:thickmathspace rspace:thickmathspace # ≅
  302. operator.\u2248.infix = lspace:thickmathspace rspace:thickmathspace # ≈
  303. operator.\u22A5.infix = lspace:thickmathspace rspace:thickmathspace # ⊥
  304. operator.\u2223.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ∣
  305. operator.\u2294.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊔
  306. operator.\u22C3.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⋃
  307. operator.\u228E.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊎
  308. operator.\u002D.infix = lspace:mediummathspace rspace:mediummathspace # -
  309. operator.\u002B.infix = lspace:mediummathspace rspace:mediummathspace # +
  310. operator.\u22C2.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⋂
  311. operator.\u2213.infix = lspace:mediummathspace rspace:mediummathspace # ∓
  312. operator.\u00B1.infix = lspace:mediummathspace rspace:mediummathspace # ±
  313. operator.\u2293.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊓
  314. operator.\u22C1.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋁
  315. operator.\u2296.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊖
  316. operator.\u2295.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊕
  317. operator.\u2211.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∑
  318. operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋃
  319. operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊎
  320. operator.\u006C\u0069\u006D.prefix = movablelimits:true lspace:0em rspace:thinmathspace # lim
  321. operator.\u006D\u0061\u0078.prefix = movablelimits:true lspace:0em rspace:thinmathspace # max
  322. operator.\u006D\u0069\u006E.prefix = movablelimits:true lspace:0em rspace:thinmathspace # min
  323. operator.\u2212.infix = lspace:mediummathspace rspace:mediummathspace # official Unicode minus sign
  324. operator.\u2212.prefix = lspace:0em rspace:veryverythinmathspace # official Unicode minus sign
  325. operator.\u2296.infix = lspace:thinmathspace rspace:thinmathspace # ⊖
  326. operator.\u2295.infix = lspace:thinmathspace rspace:thinmathspace # ⊕
  327. operator.\u2232.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∲
  328. operator.\u222E.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∮
  329. operator.\u2233.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∳
  330. operator.\u222F.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∯
  331. operator.\u222B.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∫
  332. operator.\u22D3.infix = lspace:thinmathspace rspace:thinmathspace # ⋓
  333. operator.\u22D2.infix = lspace:thinmathspace rspace:thinmathspace # ⋒
  334. operator.\u2240.infix = lspace:thinmathspace rspace:thinmathspace # ≀
  335. operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋀
  336. operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊗
  337. operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∐
  338. operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∏
  339. operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋂
  340. operator.\u2210.infix = lspace:thinmathspace rspace:thinmathspace # ∐
  341. operator.\u22C6.infix = lspace:thinmathspace rspace:thinmathspace # ⋆
  342. operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊙
  343. operator.\u002A.infix = lspace:thinmathspace rspace:thinmathspace # *
  344. operator.\u2062.infix = lspace:0em rspace:0em # ⁢
  345. operator.\u00B7.infix = lspace:thinmathspace rspace:thinmathspace # ·
  346. operator.\u2297.infix = lspace:thinmathspace rspace:thinmathspace # ⊗
  347. operator.\u22C1.infix = lspace:thinmathspace rspace:thinmathspace # ⋁
  348. operator.\u22C0.infix = lspace:thinmathspace rspace:thinmathspace # ⋀
  349. operator.\u22C4.infix = lspace:thinmathspace rspace:thinmathspace # ⋄
  350. operator.\u2216.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # ∖
  351. operator.\u002F.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # /
  352. operator.\u002D.prefix = lspace:0em rspace:veryverythinmathspace # -
  353. operator.\u002B.prefix = lspace:0em rspace:veryverythinmathspace # +
  354. operator.\u2213.prefix = lspace:0em rspace:veryverythinmathspace # ∓
  355. operator.\u00B1.prefix = lspace:0em rspace:veryverythinmathspace # ±
  356. operator.\u002E.infix = lspace:0em rspace:0em # .
  357. operator.\u2A2F.infix = lspace:verythinmathspace rspace:verythinmathspace # ⨯
  358. operator.\u002A\u002A.infix = lspace:verythinmathspace rspace:verythinmathspace # **
  359. operator.\u2299.infix = lspace:verythinmathspace rspace:verythinmathspace # ⊙
  360. operator.\u2218.infix = lspace:verythinmathspace rspace:verythinmathspace # ∘
  361. operator.\u25A1.prefix = lspace:0em rspace:verythinmathspace # □
  362. operator.\u2207.prefix = lspace:0em rspace:verythinmathspace # ∇
  363. operator.\u2202.prefix = lspace:0em rspace:verythinmathspace # ∂
  364. operator.\u2145.prefix = lspace:0em rspace:verythinmathspace # ⅅ
  365. operator.\u2146.prefix = lspace:0em rspace:verythinmathspace # ⅆ
  366. operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:verythinmathspace # √
  367. operator.\u21D3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇓
  368. operator.\uF579.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟸
  369. operator.\uF57B.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟺
  370. operator.\uF57A.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟹
  371. operator.\u21D1.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇑
  372. operator.\u21D5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇕
  373. operator.\u2193.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↓
  374. operator.\u2913.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⤓
  375. operator.\u21F5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇵
  376. operator.\u21A7.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↧
  377. operator.\u2961.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥡
  378. operator.\u21C3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇃
  379. operator.\u2959.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥙
  380. operator.\u2951.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥑
  381. operator.\u2960.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥠
  382. operator.\u21BF.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↿
  383. operator.\u2958.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥘
  384. operator.\uF576.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟵
  385. operator.\uF578.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟷
  386. operator.\uF577.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟶
  387. operator.\u296F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥯
  388. operator.\u295D.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥝
  389. operator.\u21C2.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇂
  390. operator.\u2955.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥕
  391. operator.\u294F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥏
  392. operator.\u295C.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥜
  393. operator.\u21BE.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↾
  394. operator.\u2954.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥔
  395. operator.\uEF28.infix = lspace:verythinmathspace rspace:verythinmathspace # ↓
  396. operator.\uEF27.infix = lspace:verythinmathspace rspace:verythinmathspace # ↑
  397. operator.\u2191.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↑
  398. operator.\u2912.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⤒
  399. operator.\u21C5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇅
  400. operator.\u2195.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↕
  401. operator.\u296E.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥮
  402. operator.\u21A5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↥
  403. operator.\u005E.infix = lspace:verythinmathspace rspace:verythinmathspace # ^
  404. operator.\u003C\u003E.infix = lspace:verythinmathspace rspace:verythinmathspace # <>
  405. operator.\u0027.postfix = lspace:verythinmathspace rspace:0em # '
  406. operator.\u0021.postfix = lspace:verythinmathspace rspace:0em # !
  407. operator.\u0021\u0021.postfix = lspace:verythinmathspace rspace:0em # !!
  408. operator.\u007E.infix = lspace:verythinmathspace rspace:verythinmathspace # ~
  409. operator.\u0040.infix = lspace:verythinmathspace rspace:verythinmathspace # @
  410. operator.\u002D\u002D.postfix = lspace:verythinmathspace rspace:0em # --
  411. operator.\u002D\u002D.prefix = lspace:0em rspace:verythinmathspace # --
  412. operator.\u002B\u002B.postfix = lspace:verythinmathspace rspace:0em # ++
  413. operator.\u002B\u002B.prefix = lspace:0em rspace:verythinmathspace # ++
  414. operator.\u2061.infix = lspace:0em rspace:0em # ⁡
  415. operator.\u003F.infix = lspace:verythinmathspace rspace:verythinmathspace # ?
  416. operator.\u005F.infix = lspace:verythinmathspace rspace:verythinmathspace # _
  417. operator.\u02D8.postfix = accent:true lspace:0em rspace:0em # ˘
  418. operator.\u00B8.postfix = accent:true lspace:0em rspace:0em # ¸
  419. operator.\u0060.postfix = accent:true lspace:0em rspace:0em # `
  420. operator.\u02D9.postfix = accent:true lspace:0em rspace:0em # ˙
  421. operator.\u02DD.postfix = accent:true lspace:0em rspace:0em # ˝
  422. # UNRESOLVED operator.&DiacriticalLeftArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftArrow;
  423. # UNRESOLVED operator.&DiacriticalLeftRightArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftRightArrow;
  424. # UNRESOLVED operator.&DiacriticalLeftRightVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftRightVector;
  425. # UNRESOLVED operator.&DiacriticalLeftVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftVector;
  426. operator.\u00B4.postfix = accent:true lspace:0em rspace:0em # ´
  427. # UNRESOLVED operator.&DiacriticalRightArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalRightArrow;
  428. # UNRESOLVED operator.&DiacriticalRightVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalRightVector;
  429. operator.\u02DC.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ˜
  430. operator.\u00A8.postfix = accent:true lspace:0em rspace:0em # ¨
  431. operator.\u0311.postfix = accent:true lspace:0em rspace:0em # ̑
  432. operator.\u02C7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ˇ
  433. operator.\u0302.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ^
  434. operator.\u00AF.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ‾
  435. operator.\uFE37.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏞
  436. operator.\u23B4.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎴
  437. operator.\uFE35.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏜
  438. operator.\u20DB.postfix = accent:true lspace:0em rspace:0em # ⃛
  439. operator.\u0332.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # _
  440. operator.\uFE38.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏟
  441. operator.\u23B5.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎵
  442. operator.\uFE36.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏝
  443. operator.\u2225.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥
  444. operator.\u2225.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥
  445. operator.\u2223.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣
  446. operator.\u2223.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣
  447. operator.\u007C.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # |
  448. operator.\u007C.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # |
  449. operator.\u20D7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃗
  450. operator.\u20D6.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃖
  451. operator.\u20E1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃡
  452. operator.\u20D1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃑
  453. operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃐
  454. operator.\u21A9.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↩ ↩
  455. operator.\u21AA.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↪ ↪
  456. operator.\u23B0.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⎰ ⎰
  457. operator.\u23B1.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⎱ ⎱
  458. operator.\u22C5.infix = lspace:thinmathspace rspace:thinmathspace # ċ
  459.  
  460.  
  461. ##################################################################################
  462. # DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT
  463. # More fonts can be supported for stretchy characters by setting up mathfont
  464. # property files as described below.
  465. #
  466. # Each font should have its set of glyph data. For example, the glyph data for
  467. # the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties"
  468. # and "mathfontMTExtra.properties", respectively. The font property file is a
  469. # set of all the stretchy MathML characters that can be rendered with that font
  470. # using larger and/or partial glyphs. Each stretchy character is associated to
  471. # a list in the font property file which gives, in that order, the 4 partial
  472. # glyphs: top (or left), middle, bottom (or right), glue; and the variants of
  473. # bigger sizes (if any). A position that is not relevant to a particular character
  474. # is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.
  475. #
  476. # Characters that need to be built from other characters are said to be composite.
  477. # For example, characters like over/underbrace in CMEX10 have to be built from two
  478. # half stretchy chars and joined in the middle (TeXbook, p.225). Several (i.e., 2
  479. # or more) child characters can be composed in order to render another chararacter.
  480. # To specify such characters, their list of glyphs in the property file should be
  481. # given as space-separated segments of glyphs. Each segment gives the 4 partial glyphs
  482. # with which to build the child character that will be joined with its other siblings.
  483.