home *** CD-ROM | disk | FTP | other *** search
/ Source Code 1992 March / Source_Code_CD-ROM_Walnut_Creek_March_1992.iso / usenet / altsrcs / 3 / 3602 < prev    next >
Internet Message Format  |  1991-07-10  |  16KB
  1. From: clewis@ferret.ocunix.on.ca (Chris Lewis)
  2. Newsgroups: comp.sources.bugs,comp.lang.postscript,alt.sources
  3. Subject: Psroff 3.0 Patch 2
  4. Message-ID: <2280@ecicrl.ocunix.on.ca>
  5. Date: 10 Jul 91 14:21:11 GMT
  6.  
  7.  
  8. Archive-name: psroff3.0/Patch.02
  9. Submitted-by: clewis@ferret.ocunix.on.ca (Chris Lewis)
  10.  
  11.     This is official patch 02 for Psroff 3.0.
  12.     Please apply it by:
  13.     cd <psroff source directory>
  14.     patch -N -p < <this file>
  15.  
  16. Fixes this patch:
  17.     1) if you undefined DIT in defs.h, compilation failed in
  18.        two places.  Fixed.
  19.     2) Made asc2ps possible to distribute without anything else.
  20.        (not applicable in psroff release)
  21.     3) some things should have been unsigned char.
  22.     4) catconv supports \!, fixed up a passthru repositioning
  23.        botch (sR "P...").  Necessitated for supporting pspic
  24.        (a postscript includer mechanism that passes thru the
  25.        entire postscript file as \!! rather than relying on an
  26.        include mechanism in the back end.)
  27.     5) -N coredump
  28.  
  29.  
  30. ./utils/catconv.S    Supports \!
  31. ./utils/dumpft.c    unsigned char
  32. ./utils/asc2ps.c    STANDALONE
  33. ./dit.c            unsigned char
  34. ./troff2.c        #undef DIT fix/passthru botch
  35. ./defs.h        Patch level
  36. ./utils.c        #undef DIT fix
  37. ./dt.c            passthru of \! & \X fix
  38. ./cattab.c        unsigned char.
  39. Index: ./utils/catconv.S
  40. *** /tmp/PATCHold/./utils/catconv.S    Mon Jun  3 12:57:18 1991
  41. --- ./utils/catconv.S    Mon Jun  3 12:57:19 1991
  42. ***************
  43. *** 13,19 ****
  44.   #
  45.   #    This does a very simpleminded conversion of ditroff-only-isms
  46.   #    (such as graphics) into something handleable by CAT troff.
  47. ! #    1.6 91/03/25
  48.   $cc{'em'}=1; $cc{'ru'}=1; $cc{'14'}=1; $cc{'12'}=1; $cc{'hy'}=1;
  49.   $cc{'34'}=1; $cc{'fi'}=1; $cc{'fl'}=1; $cc{'ff'}=1; $cc{'ct'}=1;
  50.   $cc{'Fl'}=1; $cc{'Fi'}=1; $cc{'de'}=1; $cc{'dg'}=1; $cc{'rg'}=1;
  51. --- 13,19 ----
  52.   #
  53.   #    This does a very simpleminded conversion of ditroff-only-isms
  54.   #    (such as graphics) into something handleable by CAT troff.
  55. ! #    1.7 91/05/30
  56.   $cc{'em'}=1; $cc{'ru'}=1; $cc{'14'}=1; $cc{'12'}=1; $cc{'hy'}=1;
  57.   $cc{'34'}=1; $cc{'fi'}=1; $cc{'fl'}=1; $cc{'ff'}=1; $cc{'ct'}=1;
  58.   $cc{'Fl'}=1; $cc{'Fi'}=1; $cc{'de'}=1; $cc{'dg'}=1; $cc{'rg'}=1;
  59. ***************
  60. *** 70,75 ****
  61. --- 70,78 ----
  62.       $line = do Xprocess($line);
  63.       }
  64.       $line = do findspecials($line);
  65. +     if ($line =~ /^\\!(.*)/) {
  66. +     $line = ".sR \"$1\"";
  67. +     }
  68.       print "$line\n";
  69.       while($index) {
  70.       print ".rr" . $regpref . $regnames[--$index] . "\n";
  71. ***************
  72. *** 94,99 ****
  73. --- 97,103 ----
  74.       return("$predefs$newline");
  75.   }
  76.   
  77. + #    Convert drawing commands
  78.   sub process {
  79.       local($line, $newline, $pre, $opcode, $arglist) = ($_[0]);
  80.   #    printf("in process: $line\n");
  81. ***************
  82. *** 147,152 ****
  83. --- 151,157 ----
  84.       return("$predefs$newline");
  85.   }
  86.   
  87. + #    Convert \X directives
  88.   sub Xprocess {
  89.       local($line, $newline, $pre, $opcode, $arglist) = ($_[0]);
  90.   #    printf("in process: $line\n");
  91. Index: ./utils/dumpft.c
  92. *** /tmp/PATCHold/./utils/dumpft.c    Mon Jun  3 12:57:28 1991
  93. --- ./utils/dumpft.c    Mon Jun  3 12:57:29 1991
  94. ***************
  95. *** 10,16 ****
  96.   
  97.   #ifndef    lint
  98.   static char SCCSID[] =
  99. !     "@(#)dumpft.c 2.7 Copyright 91/02/20 09:11:14 Chris Lewis";
  100.   #endif
  101.   
  102.   #include "../defs.h"
  103. --- 10,16 ----
  104.   
  105.   #ifndef    lint
  106.   static char SCCSID[] =
  107. !     "@(#)dumpft.c 2.8 Copyright 91/05/28 12:07:47 Chris Lewis";
  108.   #endif
  109.   
  110.   #include "../defs.h"
  111. ***************
  112. *** 282,288 ****
  113.       for(g = 0; g <= filesize - 224; g++) {
  114.       errcnt = 0;
  115.       for (i = 0; tabN[i].ch_name; i++) {
  116. !         if (tabN[i].ch_wididx == -1)
  117.           continue;
  118.           if (tabN[i].ch_name[0] && !buffer[g+tabN[i].ch_wididx]) {
  119.           if (verbose) {
  120. --- 282,288 ----
  121.       for(g = 0; g <= filesize - 224; g++) {
  122.       errcnt = 0;
  123.       for (i = 0; tabN[i].ch_name; i++) {
  124. !         if (tabN[i].ch_wididx == N)
  125.           continue;
  126.           if (tabN[i].ch_name[0] && !buffer[g+tabN[i].ch_wididx]) {
  127.           if (verbose) {
  128. Index: ./utils/asc2ps.c
  129. *** /tmp/PATCHold/./utils/asc2ps.c    Mon Jun  3 12:57:38 1991
  130. --- ./utils/asc2ps.c    Mon Jun  3 12:57:39 1991
  131. ***************
  132. *** 14,23 ****
  133.   
  134.   #ifndef    lint
  135.   static char SCCSid[] =
  136. !     "@(#)asc2ps.c: 2.4 Copyright 91/04/10 19:48:00 Chris Lewis";
  137.   #endif
  138.   
  139.   #include "defs.h"
  140.   
  141.   double height = 11.0;
  142.   double width = 8.5;
  143. --- 14,45 ----
  144.   
  145.   #ifndef    lint
  146.   static char SCCSid[] =
  147. !     "@(#)asc2ps.c: 2.5 Copyright 91/05/25 21:27:18 Chris Lewis";
  148.   #endif
  149.   
  150. + #ifndef    STANDALONE
  151.   #include "defs.h"
  152. + #else
  153. + 
  154. + /*    Configuration section for STANDALONE version of asc2ps (when compiled
  155. +     without the rest of psroff 3.0).
  156. +  */
  157. + 
  158. + #define    NODECMD    "uuname -l"    /* returns your uucp node name, use
  159. +                    "echo your-machine-name" if you don't
  160. +                    have uuname */
  161. +                     
  162. + #undef    strchr    index        /* define if you don't have strchr() */
  163. + 
  164. + #include <stdio.h>
  165. + #include <ctype.h>
  166. + #include <string.h>        /* change to strings.h if necessary */
  167. + 
  168. + /*    Dinna touch from here on */
  169. + #define    ALONE
  170. + #define    max(a,b)    ((a) > (b) ? (a) : (b))
  171. + 
  172. + #endif
  173.   
  174.   double height = 11.0;
  175.   double width = 8.5;
  176. Index: ./dit.c
  177. *** /tmp/PATCHold/./dit.c    Mon Jun  3 12:57:47 1991
  178. --- ./dit.c    Mon Jun  3 12:57:49 1991
  179. ***************
  180. *** 12,18 ****
  181.   
  182.   #ifndef    lint
  183.   static char SCCSid[] =
  184. !     "@(#)dit.c: 91/04/24 Copyright 91/04/24 21:48:46 Chris Lewis";
  185.   #endif
  186.   
  187.   extern struct cattab tabN[], tabS[], *extidx;
  188. --- 12,18 ----
  189.   
  190.   #ifndef    lint
  191.   static char SCCSid[] =
  192. !     "@(#)dit.c: 91/05/30 Copyright 91/05/30 01:45:57 Chris Lewis";
  193.   #endif
  194.   
  195.   extern struct cattab tabN[], tabS[], *extidx;
  196. ***************
  197. *** 134,140 ****
  198.   #ifdef    DIT
  199.   
  200.   int sizescale = 1;
  201. ! int indtres;
  202.   
  203.   int points, font, ch, i;
  204.   int xpos, ypos;
  205. --- 134,140 ----
  206.   #ifdef    DIT
  207.   
  208.   int sizescale = 1;
  209. ! int indtres = 300;
  210.   
  211.   int points, font, ch, i;
  212.   int xpos, ypos;
  213. ***************
  214. *** 415,422 ****
  215.   #endif
  216.           i = 1;
  217.           special[0] = cmd;
  218. -         while((ch = getchar()) != EOF && isspace(ch));
  219. -         special[i++] = ch;
  220.           while((ch = getchar()) != EOF && ch != '\n')
  221.               special[i++] = ch;
  222.           special[i] = '\0';
  223. --- 415,420 ----
  224. ***************
  225. *** 427,434 ****
  226.               break;
  227.               case '!':
  228.               special[0] = 'P';
  229. !             dospecial(xpos * TROFFRESOLUTION / indtres,
  230. !                      ypos * TROFFRESOLUTION / indtres,
  231.                        special);
  232.               break;
  233.               case 'D': {
  234. --- 425,432 ----
  235.               break;
  236.               case '!':
  237.               special[0] = 'P';
  238. !             dospecial(/*xpos * TROFFRESOLUTION / indtres,
  239. !                      ypos * TROFFRESOLUTION / indtres,*/
  240.                        special);
  241.               break;
  242.               case 'D': {
  243. Index: ./troff2.c
  244. *** /tmp/PATCHold/./troff2.c    Mon Jun  3 12:58:00 1991
  245. --- ./troff2.c    Mon Jun  3 12:58:02 1991
  246. ***************
  247. *** 12,18 ****
  248.   
  249.   #ifndef    lint
  250.   static char SCCSid[] =
  251. !     "@(#)troff2.c: 2.17 Copyright 91/05/03 10:41:03 Chris Lewis";
  252.   #endif
  253.   
  254.   #define    ESC    0x80
  255. --- 12,18 ----
  256.   
  257.   #ifndef    lint
  258.   static char SCCSid[] =
  259. !     "@(#)troff2.c: 2.18 Copyright 91/05/30 01:46:09 Chris Lewis";
  260.   #endif
  261.   
  262.   #define    ESC    0x80
  263. ***************
  264. *** 222,229 ****
  265.               sizescale = atoi(optarg);
  266.               break;
  267.   #else
  268. !         case 'S':
  269. !             fprintf(stderr, "%s: ditroff frontend not configured\n");
  270.               exit(1);
  271.   #endif
  272.           case 'M':
  273. --- 222,230 ----
  274.               sizescale = atoi(optarg);
  275.               break;
  276.   #else
  277. !         case 'G':
  278. !             fprintf(stderr, "%s: ditroff frontend not configured\n",
  279. !             progname);
  280.               exit(1);
  281.   #endif
  282.           case 'M':
  283. ***************
  284. *** 738,747 ****
  285.           *string = '\0';
  286.           return;
  287.   
  288.           case 'p':
  289.           case 'P':
  290. !         if (be->bedraw)
  291. !             (*be->bedraw)(specXPos, specYPos, NULL);
  292.           if (be->bepassthru)
  293.               (*be->bepassthru)(string+1);
  294.           else
  295. --- 739,754 ----
  296.           *string = '\0';
  297.           return;
  298.   
  299. +         case '!':
  300.           case 'p':
  301.           case 'P':
  302. !         {
  303. !             static int lastsX, lastsY;
  304. !             if ((lastsX != specXPos || lastsY != specYPos) && be->bedraw)
  305. !             (*be->bedraw)(specXPos, specYPos, NULL);
  306. !             lastsX = specXPos;
  307. !             lastsY = specYPos;
  308. !         }
  309.           if (be->bepassthru)
  310.               (*be->bepassthru)(string+1);
  311.           else
  312. Index: ./defs.h
  313. *** /tmp/PATCHold/./defs.h    Mon Jun  3 12:58:16 1991
  314. --- ./defs.h    Mon Jun  3 12:58:17 1991
  315. ***************
  316. *** 9,15 ****
  317.    */
  318.   
  319.   /*    Official Release and Patch level:    */
  320. ! #define    T2VERSION    "@(#)PSROFF Copyright 91/04/26 Chris Lewis - R3 PL1"
  321.   
  322.   /*    Configuration parameters:
  323.    */
  324. --- 9,15 ----
  325.    */
  326.   
  327.   /*    Official Release and Patch level:    */
  328. ! #define    T2VERSION    "@(#)PSROFF Copyright 91/05/28 Chris Lewis - R3 PL2"
  329.   
  330.   /*    Configuration parameters:
  331.    */
  332. ***************
  333. *** 259,265 ****
  334.   
  335.   struct cattab {
  336.       char *ch_name;
  337. !     char ch_set;
  338.       unsigned char ch_catidx;
  339.       unsigned char ch_wididx;
  340.       unsigned char ch_info;    /* used by some auxiliary programs */
  341. --- 259,265 ----
  342.   
  343.   struct cattab {
  344.       char *ch_name;
  345. !     unsigned char ch_set;
  346.       unsigned char ch_catidx;
  347.       unsigned char ch_wididx;
  348.       unsigned char ch_info;    /* used by some auxiliary programs */
  349. Index: ./utils.c
  350. *** /tmp/PATCHold/./utils.c    Mon Jun  3 12:58:27 1991
  351. --- ./utils.c    Mon Jun  3 12:58:29 1991
  352. ***************
  353. *** 12,18 ****
  354.   
  355.   #ifndef    lint
  356.   static char SCCSid[] =
  357. !     "@(#)utils.c: 2.14 Copyright 91/04/05 01:21:20 Chris Lewis";
  358.   #endif
  359.   
  360.   #ifndef    HEADERSIZE
  361. --- 12,18 ----
  362.   
  363.   #ifndef    lint
  364.   static char SCCSid[] =
  365. !     "@(#)utils.c: 2.15 Copyright 91/05/30 01:46:27 Chris Lewis";
  366.   #endif
  367.   
  368.   #ifndef    HEADERSIZE
  369. ***************
  370. *** 412,418 ****
  371. --- 412,422 ----
  372.       register struct fonttable *p;
  373.       int intfont;
  374.       DBP((D_SPEC, "FontSel: %c -> %s\n", from, to));
  375. + #ifdef    DIT
  376.       if (from < (ditroff? '0' : '1') || from > '9') {
  377. + #else
  378. +     if (from < '1' || from > '9') {
  379. + #endif
  380.       fprintf(stderr, "Bad arguments to FontSel: %c %s\n", from, to);
  381.       return;
  382.       }
  383. Index: ./dt.c
  384. *** /tmp/PATCHold/./dt.c    Mon Jun  3 12:58:39 1991
  385. --- ./dt.c    Mon Jun  3 12:58:41 1991
  386. ***************
  387. *** 12,18 ****
  388.   
  389.   #ifndef    lint
  390.   static char SCCSid[] =
  391. !     "@(#)dt.c: 2.6 Copyright 91/03/10 03:12:46 Chris Lewis";
  392.   #endif
  393.   
  394.   /*    These two tables are always included so that we have the
  395. --- 12,18 ----
  396.   
  397.   #ifndef    lint
  398.   static char SCCSid[] =
  399. !     "@(#)dt.c: 2.7 Copyright 91/05/30 01:46:37 Chris Lewis";
  400.   #endif
  401.   
  402.   /*    These two tables are always included so that we have the
  403. ***************
  404. *** 459,465 ****
  405.   
  406.   dtPassthru(s)
  407.   register char *s; {
  408. !     printf("x X %s\n", s);
  409.   }
  410.   
  411.   dtEpilog() {
  412. --- 459,465 ----
  413.   
  414.   dtPassthru(s)
  415.   register char *s; {
  416. !     printf("!%s\n", s);
  417.   }
  418.   
  419.   dtEpilog() {
  420. ***************
  421. *** 473,480 ****
  422. --- 473,485 ----
  423.   register char *s; {
  424.       register int temp, t2;
  425.       DBP((D_CAT, "dtDraw: (%d,%d): %s\n", origX, origY, s));
  426. + 
  427.       printf("H%d\n", TROFF2DTX(origX));
  428.       printf("V%d\n", TROFF2DTY(origY));
  429. + 
  430. +     if (!s)
  431. +     return;
  432. + 
  433.       putchar('D');
  434.       putchar(*s);
  435.       s++;
  436. Index: ./cattab.c
  437. *** /tmp/PATCHold/./cattab.c    Mon Jun  3 12:58:51 1991
  438. --- ./cattab.c    Mon Jun  3 12:58:52 1991
  439. ***************
  440. *** 36,42 ****
  441.   
  442.   #ifndef lint
  443.   static char SCCSid[] =
  444. !     "@(#)cattab.c: 2.2 Copyright 91/02/20 09:07:04 Chris Lewis";
  445.   #endif
  446.   
  447.   #include "defs.h"
  448. --- 36,42 ----
  449.   
  450.   #ifndef lint
  451.   static char SCCSid[] =
  452. !     "@(#)cattab.c: 2.3 Copyright 91/05/28 12:06:08 Chris Lewis";
  453.   #endif
  454.   
  455.   #include "defs.h"
  456. ***************
  457. *** 75,85 ****
  458.       {"j",    N,  12,  74, 0, "j"},
  459.       {"u",    N,  13,  85, 0, "u"},
  460.       {"k",    N,  14,  75, 0, "k"},
  461. !     {"",    N,  15,  -1, 0, NOC},
  462.       {"p",    N,  16,  80, 0, "p"},
  463.       {"em",    N,  17,  99, 0, "3/4 em"},
  464.       {";",    N,  18,  27, 0, ";"},
  465. !     {"",    N,  19,  -1, 0, NOC},
  466.       {"a",    N,  20,  65, 0, "a"},
  467.       {"ru",    N,  21, 100, 0, "horizontal rule"},
  468.       {"c",    N,  22,  67, 0, "c"},
  469. --- 75,85 ----
  470.       {"j",    N,  12,  74, 0, "j"},
  471.       {"u",    N,  13,  85, 0, "u"},
  472.       {"k",    N,  14,  75, 0, "k"},
  473. !     {"",    N,  15,   N, 0, NOC},
  474.       {"p",    N,  16,  80, 0, "p"},
  475.       {"em",    N,  17,  99, 0, "3/4 em"},
  476.       {";",    N,  18,  27, 0, ";"},
  477. !     {"",    N,  19,   N, 0, NOC},
  478.       {"a",    N,  20,  65, 0, "a"},
  479.       {"ru",    N,  21, 100, 0, "horizontal rule"},
  480.       {"c",    N,  22,  67, 0, "c"},
  481. ***************
  482. *** 101,109 ****
  483.       {",",    N,  38,  12, 0, ","},
  484.       {"&",    N,  39,   6, 0, "&"},
  485.       {"y",    N,  40,  89, 0, "y"},
  486. !     {"",    N,  41,  -1, 0, NOC},
  487.       {"%",    N,  42,   5, 0, "%"},
  488. !     {"",    N,  43,  -1, 0, NOC},
  489.       {"Q",    N,  44,  49, 0, "Q"},
  490.       {"T",    N,  45,  52, 0, "T"},
  491.       {"O",    N,  46,  47, 0, "O"},
  492. --- 101,109 ----
  493.       {",",    N,  38,  12, 0, ","},
  494.       {"&",    N,  39,   6, 0, "&"},
  495.       {"y",    N,  40,  89, 0, "y"},
  496. !     {"",    N,  41,   N, 0, NOC},
  497.       {"%",    N,  42,   5, 0, "%"},
  498. !     {"",    N,  43,   N, 0, NOC},
  499.       {"Q",    N,  44,  49, 0, "Q"},
  500.       {"T",    N,  45,  52, 0, "T"},
  501.       {"O",    N,  46,  47, 0, "O"},
  502. ***************
  503. *** 158,170 ****
  504.       {"rg",    N,  95, 189, 0, "registered"},
  505.       {":",    N,  96,  26, 0, ":"},
  506.       {"+",    N,  97,  11, 0, "+"},
  507. !     {"",    N,  98,  -1, 0, NOC},
  508.       {"!",    N,  99,   1, 0, "!"},
  509.       {"bu",    N, 100,  97, 0, "bullet"},
  510.       {"?",    N, 101,  31, 0, "?"},
  511.       {"fm",    N, 102, 113, 0, "foot mark (minute)"},
  512.       {"|",    N, 103,  92, 0, "|"},
  513. !     {"",    N, 104,  -1, 0, NOC},
  514.       {"co",    N, 105, 190, 0, "copyright"},
  515.       {"sq",    N, 106,  98, 0, "square"},
  516.       {"$",    N, 107,   4, 0, "$"},
  517. --- 158,170 ----
  518.       {"rg",    N,  95, 189, 0, "registered"},
  519.       {":",    N,  96,  26, 0, ":"},
  520.       {"+",    N,  97,  11, 0, "+"},
  521. !     {"",    N,  98,   N, 0, NOC},
  522.       {"!",    N,  99,   1, 0, "!"},
  523.       {"bu",    N, 100,  97, 0, "bullet"},
  524.       {"?",    N, 101,  31, 0, "?"},
  525.       {"fm",    N, 102, 113, 0, "foot mark (minute)"},
  526.       {"|",    N, 103,  92, 0, "|"},
  527. !     {"",    N, 104,   N, 0, NOC},
  528.       {"co",    N, 105, 190, 0, "copyright"},
  529.       {"sq",    N, 106,  98, 0, "square"},
  530.       {"$",    N, 107,   4, 0, "$"},
  531. ***************
  532. *** 191,201 ****
  533.       {"*f",    S,  12, 140, 0, "phi"},
  534.       {"*u",    S,  13, 139, 0, "upsilon"},
  535.       {"*k",    S,  14, 129, 0, "kappa"},
  536. !     {"",    S,  15,  -1, 0, NOC},
  537.       {"*p",    S,  16, 135, 0, "pi"},
  538.       {"@",    S,  17,  32, 0, "@"},
  539.       {"da",    S,  18, 169, 0, "down arrow"},
  540. !     {"",    S,  19,  -1, 0, NOC},
  541.       {"*a",    S,  20, 120, 0, "alpha"},
  542.       {"or",    S,  21, 198, 0, "or (was star)"},
  543.       {"*x",    S,  22, 141, 0, "chi"},
  544. --- 191,201 ----
  545.       {"*f",    S,  12, 140, 0, "phi"},
  546.       {"*u",    S,  13, 139, 0, "upsilon"},
  547.       {"*k",    S,  14, 129, 0, "kappa"},
  548. !     {"",    S,  15,   N, 0, NOC},
  549.       {"*p",    S,  16, 135, 0, "pi"},
  550.       {"@",    S,  17,  32, 0, "@"},
  551.       {"da",    S,  18, 169, 0, "down arrow"},
  552. !     {"",    S,  19,   N, 0, NOC},
  553.       {"*a",    S,  20, 120, 0, "alpha"},
  554.       {"or",    S,  21, 198, 0, "or (was star)"},
  555.       {"*x",    S,  22, 141, 0, "chi"},
  556. ***************
  557. *** 217,225 ****
  558.       {"pt",    S,  38, 185, 0, "proportional to"},
  559.       {"rh",    S,  39, 194, 0, "right hand"},
  560.       {"*w",    S,  40, 143, 0, "omega"},
  561. !     {"",    S,  41,  -1, 0, NOC},
  562.       {"gr",    S,  42, 182, 0, "gradient"},
  563. !     {"",    S,  43,  -1, 0, NOC},
  564.       {"*F",    S,  44, 153, 0, "Phi"},
  565.       {"*H",    S,  45, 146, 0, "Theta"},
  566.       {"*W",    S,  46, 155, 0, "Omega"},
  567. --- 217,225 ----
  568.       {"pt",    S,  38, 185, 0, "proportional to"},
  569.       {"rh",    S,  39, 194, 0, "right hand"},
  570.       {"*w",    S,  40, 143, 0, "omega"},
  571. !     {"",    S,  41,   N, 0, NOC},
  572.       {"gr",    S,  42, 182, 0, "gradient"},
  573. !     {"",    S,  43,   N, 0, NOC},
  574.       {"*F",    S,  44, 153, 0, "Phi"},
  575.       {"*H",    S,  45, 146, 0, "Theta"},
  576.       {"*W",    S,  46, 155, 0, "Omega"},
  577. ***************
  578. *** 274,286 ****
  579.       {"mo",    S,  95, 187, 0, "member of"},
  580.       {"~",    S,  96,  94, 0, "~"},
  581.       {"es",    S,  97, 186, 0, "empty set"},
  582. !     {"",    S,  98,  -1, 0, NOC},
  583.       {"dd",    S,  99, 193, 0, "dbl dagger"},
  584.       {"br",    S, 100, 191, 0, "box rule (was parallel sign)"},
  585.       {"**",    S, 101, 196, 0, "math *"},
  586.       {"ib",    S, 102, 178, 0, "improper subset"},
  587.       {"ci",    S, 103, 199, 0, "circle"},
  588. !     {"",    S, 104, -1, 0, NOC},
  589.       {"pl",    S, 105, 188, 0, "equation plus"},
  590.       {"->",    S, 106, 166, 0, "right arrow"},
  591.       {"sc",    S, 107, 112, 0, "section"},
  592. --- 274,286 ----
  593.       {"mo",    S,  95, 187, 0, "member of"},
  594.       {"~",    S,  96,  94, 0, "~"},
  595.       {"es",    S,  97, 186, 0, "empty set"},
  596. !     {"",    S,  98,   N, 0, NOC},
  597.       {"dd",    S,  99, 193, 0, "dbl dagger"},
  598.       {"br",    S, 100, 191, 0, "box rule (was parallel sign)"},
  599.       {"**",    S, 101, 196, 0, "math *"},
  600.       {"ib",    S, 102, 178, 0, "improper subset"},
  601.       {"ci",    S, 103, 199, 0, "circle"},
  602. !     {"",    S, 104,   N, 0, NOC},
  603.       {"pl",    S, 105, 188, 0, "equation plus"},
  604.       {"->",    S, 106, 166, 0, "right arrow"},
  605.       {"sc",    S, 107, 112, 0, "section"},
  606.