10048
|
1 |
diff -cr x-symbol-3.3d-orig/etc/x-symbol/fonts/xsymb1_12.bdf x-symbol-3.3d/etc/x-symbol/fonts/xsymb1_12.bdf
|
|
2 |
*** x-symbol-3.3d-orig/etc/x-symbol/fonts/xsymb1_12.bdf Wed Sep 20 23:56:44 2000
|
|
3 |
--- x-symbol-3.3d/etc/x-symbol/fonts/xsymb1_12.bdf Thu Sep 21 00:41:43 2000
|
|
4 |
***************
|
|
5 |
*** 51,57 ****
|
|
6 |
DEVICE_FONT_NAME "XSymb1"
|
|
7 |
COPYRIGHT "1997-1999 Free Software Foundation, Inc."
|
|
8 |
ENDPROPERTIES
|
|
9 |
! CHARS 167
|
|
10 |
STARTCHAR verticaldots
|
|
11 |
ENCODING 33
|
|
12 |
SWIDTH 250 0
|
|
13 |
--- 51,57 ----
|
|
14 |
DEVICE_FONT_NAME "XSymb1"
|
|
15 |
COPYRIGHT "1997-1999 Free Software Foundation, Inc."
|
|
16 |
ENDPROPERTIES
|
|
17 |
! CHARS 169
|
|
18 |
STARTCHAR verticaldots
|
|
19 |
ENCODING 33
|
|
20 |
SWIDTH 250 0
|
|
21 |
***************
|
|
22 |
*** 2536,2540 ****
|
|
23 |
--- 2536,2576 ----
|
|
24 |
28
|
|
25 |
28
|
|
26 |
f8
|
|
27 |
+ ENDCHAR
|
|
28 |
+ STARTCHAR doubleparenleft
|
|
29 |
+ ENCODING 235
|
|
30 |
+ SWIDTH 1000 0
|
|
31 |
+ DWIDTH 6 0
|
|
32 |
+ BBX 4 11 1 -2
|
|
33 |
+ BITMAP
|
|
34 |
+ 30
|
|
35 |
+ 50
|
|
36 |
+ 50
|
|
37 |
+ 90
|
|
38 |
+ 90
|
|
39 |
+ 90
|
|
40 |
+ 90
|
|
41 |
+ 90
|
|
42 |
+ 50
|
|
43 |
+ 50
|
|
44 |
+ 30
|
|
45 |
+ ENDCHAR
|
|
46 |
+ STARTCHAR doubleparenright
|
|
47 |
+ ENCODING 236
|
|
48 |
+ SWIDTH 1000 0
|
|
49 |
+ DWIDTH 6 0
|
|
50 |
+ BBX 4 11 1 -2
|
|
51 |
+ BITMAP
|
|
52 |
+ c0
|
|
53 |
+ a0
|
|
54 |
+ a0
|
|
55 |
+ 90
|
|
56 |
+ 90
|
|
57 |
+ 90
|
|
58 |
+ 90
|
|
59 |
+ 90
|
|
60 |
+ a0
|
|
61 |
+ a0
|
|
62 |
+ c0
|
|
63 |
ENDCHAR
|
|
64 |
ENDFONT
|
|
65 |
diff -cr x-symbol-3.3d-orig/etc/x-symbol/fonts/xsymb1_14.bdf x-symbol-3.3d/etc/x-symbol/fonts/xsymb1_14.bdf
|
|
66 |
*** x-symbol-3.3d-orig/etc/x-symbol/fonts/xsymb1_14.bdf Wed Sep 20 23:56:44 2000
|
|
67 |
--- x-symbol-3.3d/etc/x-symbol/fonts/xsymb1_14.bdf Thu Sep 21 00:41:43 2000
|
|
68 |
***************
|
|
69 |
*** 51,57 ****
|
|
70 |
DEVICE_FONT_NAME "XSymb1"
|
|
71 |
COPYRIGHT "1997-1999 Free Software Foundation, Inc."
|
|
72 |
ENDPROPERTIES
|
|
73 |
! CHARS 167
|
|
74 |
STARTCHAR verticaldots
|
|
75 |
ENCODING 33
|
|
76 |
SWIDTH 250 0
|
|
77 |
--- 51,57 ----
|
|
78 |
DEVICE_FONT_NAME "XSymb1"
|
|
79 |
COPYRIGHT "1997-1999 Free Software Foundation, Inc."
|
|
80 |
ENDPROPERTIES
|
|
81 |
! CHARS 169
|
|
82 |
STARTCHAR verticaldots
|
|
83 |
ENCODING 33
|
|
84 |
SWIDTH 250 0
|
|
85 |
***************
|
|
86 |
*** 2752,2756 ****
|
|
87 |
--- 2752,2796 ----
|
|
88 |
28
|
|
89 |
28
|
|
90 |
f8
|
|
91 |
+ ENDCHAR
|
|
92 |
+ STARTCHAR doubleparenleft
|
|
93 |
+ ENCODING 235
|
|
94 |
+ SWIDTH 1000 0
|
|
95 |
+ DWIDTH 6 0
|
|
96 |
+ BBX 4 13 1 -2
|
|
97 |
+ BITMAP
|
|
98 |
+ 30
|
|
99 |
+ 50
|
|
100 |
+ 50
|
|
101 |
+ 90
|
|
102 |
+ 90
|
|
103 |
+ 90
|
|
104 |
+ 90
|
|
105 |
+ 90
|
|
106 |
+ 90
|
|
107 |
+ 90
|
|
108 |
+ 50
|
|
109 |
+ 50
|
|
110 |
+ 30
|
|
111 |
+ ENDCHAR
|
|
112 |
+ STARTCHAR doubleparenright
|
|
113 |
+ ENCODING 236
|
|
114 |
+ SWIDTH 1000 0
|
|
115 |
+ DWIDTH 6 0
|
|
116 |
+ BBX 4 13 1 -2
|
|
117 |
+ BITMAP
|
|
118 |
+ c0
|
|
119 |
+ a0
|
|
120 |
+ a0
|
|
121 |
+ 90
|
|
122 |
+ 90
|
|
123 |
+ 90
|
|
124 |
+ 90
|
|
125 |
+ 90
|
|
126 |
+ 90
|
|
127 |
+ 90
|
|
128 |
+ a0
|
|
129 |
+ a0
|
|
130 |
+ c0
|
|
131 |
ENDCHAR
|
|
132 |
ENDFONT
|
|
133 |
diff -cr x-symbol-3.3d-orig/lisp/x-symbol/x-symbol-tex.el x-symbol-3.3d/lisp/x-symbol/x-symbol-tex.el
|
|
134 |
*** x-symbol-3.3d-orig/lisp/x-symbol/x-symbol-tex.el Wed Sep 20 23:56:43 2000
|
|
135 |
--- x-symbol-3.3d/lisp/x-symbol/x-symbol-tex.el Thu Sep 21 00:29:47 2000
|
|
136 |
***************
|
|
137 |
*** 774,779 ****
|
|
138 |
--- 774,781 ----
|
|
139 |
(coloncolon (math relation user) "\\coloncolon")
|
|
140 |
(semanticsleft (math delim user) "\\lsemantics")
|
|
141 |
(semanticsright (math delim user) "\\rsemantics")
|
|
142 |
+ (doubleparenleft (math delim user) "\\llparenthesis")
|
|
143 |
+ (doubleparenright (math delim user) "\\rrparenthesis")
|
|
144 |
;;(quotedblbase (mark T1) "\\quotedblbase") ; not in {}! (spacing)
|
|
145 |
;;(quotedblleft (mark) . "\\textquotedblleft") ; not in {}! (spacing)
|
|
146 |
;;(quotedblright (mark) . "\\textquotedblright") ; not in {}! (spacing)
|
|
147 |
diff -cr x-symbol-3.3d-orig/lisp/x-symbol/x-symbol.el x-symbol-3.3d/lisp/x-symbol/x-symbol.el
|
|
148 |
*** x-symbol-3.3d-orig/lisp/x-symbol/x-symbol.el Wed Sep 20 23:56:44 2000
|
|
149 |
--- x-symbol-3.3d/lisp/x-symbol/x-symbol.el Thu Sep 21 00:37:49 2000
|
|
150 |
***************
|
|
151 |
*** 4216,4224 ****
|
|
152 |
(coloncolon 231 (dots) nil nil ("::"))
|
|
153 |
(bigsqintersection 232 (bigop) (size big . sqintersection))
|
|
154 |
(semanticsleft 233 (parenthesis open semanticsright)
|
|
155 |
! (direction west . semanticsright) nil (t "[[" "[|"))
|
|
156 |
(semanticsright 234 (parenthesis close semanticsleft)
|
|
157 |
! (direction east) nil (t "]]" "|]"))
|
|
158 |
)
|
|
159 |
"Table for registry \"xsymb1\", see `x-symbol-init-cset'.")
|
|
160 |
|
|
161 |
--- 4216,4228 ----
|
|
162 |
(coloncolon 231 (dots) nil nil ("::"))
|
|
163 |
(bigsqintersection 232 (bigop) (size big . sqintersection))
|
|
164 |
(semanticsleft 233 (parenthesis open semanticsright)
|
|
165 |
! (direction west . semanticsright) nil (t "[|"))
|
|
166 |
(semanticsright 234 (parenthesis close semanticsleft)
|
|
167 |
! (direction east) nil (t "|]"))
|
|
168 |
! (doubleparenleft 235 (parenthesis open doubleparenright)
|
|
169 |
! (direction west . doubleparenright) nil (t "(|"))
|
|
170 |
! (doubleparenright 236 (parenthesis close doubleparenleft)
|
|
171 |
! (direction east) nil (t "|)"))
|
|
172 |
)
|
|
173 |
"Table for registry \"xsymb1\", see `x-symbol-init-cset'.")
|
|
174 |
|