mozilla
/
pjs
зеркало из https://github.com/mozilla/pjs.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Correct stretchy metadata

This commit is contained in:
rbs%maths.uq.edu.au 2001-05-08 08:34:13 +00:00
Родитель ad4e80b4bb
Коммит 294057136e
2 изменённых файлов: 4 добавлений и 4 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

4
layout/mathml/base/src/mathfont.properties
Просмотреть файл

@ -186,7 +186,7 @@ operator.\u003E\u003D.infix = lspace:thickmathspace rspace:thickmathspace # >=
operator.\u2261.infix = lspace:thickmathspace rspace:thickmathspace # ≡
operator.\u224D.infix = lspace:thickmathspace rspace:thickmathspace # ≍
operator.\u2250.infix = lspace:thickmathspace rspace:thickmathspace # ≐
operator.\u2225.infix = lspace:thickmathspace rspace:thickmathspace # ∥
operator.\u2225.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ∥
operator.\u2A75.infix = lspace:thickmathspace rspace:thickmathspace # ⩵
operator.\u2242.infix = lspace:thickmathspace rspace:thickmathspace # ≂
operator.\u21CC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇌
@ -269,7 +269,7 @@ operator.\u2243.infix = lspace:thickmathspace rspace:thickmathspace # &TildeEqua
operator.\u2245.infix = lspace:thickmathspace rspace:thickmathspace # ≅
operator.\u2248.infix = lspace:thickmathspace rspace:thickmathspace # ≈
operator.\u22A5.infix = lspace:thickmathspace rspace:thickmathspace # ⊥
operator.\u2223.infix = lspace:thickmathspace rspace:thickmathspace # ∣
operator.\u2223.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ∣
operator.\u2294.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊔
operator.\u22C3.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⋃
operator.\u228E.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊎

4
layout/mathml/base/src/mathfontMath1.properties
Просмотреть файл

@ -35,9 +35,9 @@ mathfont = Math1
\u007D = \uF8FF\uF8FF\uF8FF\uF8FF\u007D # }
\u007C = \uFFFD\uFFFD\uFFFD\u007C\u007C # |
\u2190 = \u2190\uFFFD\uFFFD\uF8FF\u2190 # LeftArrow, larr, leftarrow
\u2191 = \uFFFD\uFFFD\u2191\uF8FF\u2191 # UpArrow, uarr, uparrow
\u2191 = \u2191\uFFFD\uFFFD\uF8FF\u2191 # UpArrow, uarr, uparrow
\u2192 = \uFFFD\uFFFD\u2192\uF8FF\u2192 # RightArrow, rarr, rightarrow
\u2193 = \u2193\uFFFD\uFFFD\uF8FF\u2193 # DownArrow, darr, downarrow
\u2193 = \uFFFD\uFFFD\u2193\uF8FF\u2193 # DownArrow, darr, downarrow
\u2194 = \u2190\uFFFD\u2192\uF8FF\u2194 # LeftRightArrow, harr, leftrightarrow
\u2195 = \u2193\uFFFD\u2191\uF8FF\u2195 # UpDownArrow, updownarrow, varr
\u21D0 = \u21D0\uFFFD\uFFFD\uF8FF\u21D0 # DoubleLeftArrow, Leftarrow, lArr