| 
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  | 
  
  |