*** c/c.spider.old Wed Nov 29 22:48:59 1989 --- c/c.spider Wed Nov 29 21:55:48 1989 *************** *** 18,28 **** token + category unorbinop token - category unorbinop ! token * category unorbinop translation <"{*}"> token / category dot token < category less translation <> token > category greater translation <> token = category equals translation <"\\leftarrow"> tangleto <"="-space> token . category dot token ~ category unop translation <"\\TI"> token & category unorbinop translation <"\\amp"> --- 18,30 ---- token + category unorbinop token - category unorbinop ! token * category unorbinop translation <"{*}"> tangleto ! # avoid inadvertant /* token / category dot token < category less translation <> token > category greater translation <> token = category equals translation <"\\leftarrow"> tangleto <"="-space> + # avoid inadvertant =- token . category dot token ~ category unop translation <"\\TI"> token & category unorbinop translation <"\\amp">