[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: (partial) implementation of Justin Zieglers work



Matthias Clasen:

> I have put an updated version of my work on math fonts at the following
> places

> ftp://logimac.mathematik.uni-freiburg.de/logimac/Dokumente/www/mixed/mfnt0_4.tgz
> http://logimac.mathematik.uni-freiburg.de/mixed/mfnt0_4.tgz

> Any comments are welcome!

Although I am rather short of time at the moment, I've taken the time
to have a look at Matthias Clasen's latest partial test implementation.

Attached below is some specific feedback consisting of

(a) a patch containing bug fixes and improvements to the Metafont code 
    of big accents and delimiters (wbigacc.mf, wbigdel.mf, xbigdel.mf).
    In particular, I've adjusted the width of big semantic brackets 
    according to the values used in stmary/stmaryaj.mf and I've corrected 
    the width and stroke thickness of some of the intermediate sizes 
    which didn't fit in anyway.

(b) a shar file containing a reimplementation of MX1.etx providing
    exactly the same glyphs but in a completely different arrangement 
    to achieve a more systematic and logical font table arrangement.
    If/when I find time I'd like to do a similar rearrangement of 
    MX2.etx and perhaps some other font tables as well.  However, 
    I'm afraid I'll be pretty occupied with real work for the next
    couple of days.

Hope this helps.

Cheers, Ulrik.

P.S. One more question: Is there any knowledgable Metafont guru here
who'd like to comment on the relative merit regarding rasterization 
of the different macro defintions of left/right_semantic_bracket() 
in mathfont/extensibles/dels.mf and stmary/stmaryba.mf?  Just curious!


diff -u extensibles/ORIG/wbigacc.mf extensibles/wbigacc.mf
--- extensibles/ORIG/wbigacc.mf	Tue Apr 15 23:31:24 1997
+++ extensibles/wbigacc.mf	Thu May 15 01:06:03 1997
@@ -413,9 +413,9 @@
 beginchar(oct"122",70u#,body_height#+.4(mikro),0);
 big_backvector; endchar;
 
-cmchar "Wide doublevector accent 12"; 
+cmchar "Wide backvector accent 12"; 
 beginchar(oct"123",78u#,body_height#+.45(mikro),0);
-big_doublevector; endchar;
+big_backvector; endchar;
 
 cmchar "Wide doublevector accent 1"; 
 beginchar(oct"124",10u#,body_height#,0);
diff -u extensibles/ORIG/wbigdel.mf extensibles/wbigdel.mf
--- extensibles/ORIG/wbigdel.mf	Thu Apr 24 17:11:28 1997
+++ extensibles/wbigdel.mf	Thu May 15 00:57:37 1997
@@ -33,37 +33,40 @@
 % extensible oct"232": oct"232",0,oct"233",oct"234";  % left tortoise bracket
 % extensible oct"235": oct"235",0,oct"236",oct"237";  % right tortoise bracket
 
+
+% width adjusted acoording to stmaryaj.mf -- UV 1997/05/14
 cmchar "left semantic bracket 1";
-beginchar(oct"154",9u#,rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"154",8u#,rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(1.5u#,0); left_semantic(rule_thickness,true,true); endchar;
 
 cmchar "left semantic bracket 3";
-beginchar(oct"155",9.75u#,dh#+rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"155",8.5u#,dh#+rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(2u#,0); left_semantic(.25[rule_thickness,stem],true,true); endchar;
 
 cmchar "left semantic bracket 5";
-beginchar(oct"156",10.5u#,rule_thickness#,4dh#-rule_thickness#);
+beginchar(oct"156",9u#,rule_thickness#,4dh#-rule_thickness#);
 adjust_fit(2.5u#,0); left_semantic(.5[rule_thickness,stem],true,true); endchar;
 
 cmchar "left semantic bracket 7";
-beginchar(oct"157",11.25u#,dh#+rule_thickness#,4dh#-rule_thickness#);
+beginchar(oct"157",9.5u#,dh#+rule_thickness#,4dh#-rule_thickness#);
 adjust_fit(3u#,0); left_semantic(.75[rule_thickness,stem],true,true); endchar;
 
 
+% width adjusted acoording to stmaryaj.mf -- UV 1997/05/14
 cmchar "right semantic bracket 1";
-beginchar(oct"160",9u#,rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"160",8u#,rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(0,1.5u#); right_semantic(rule_thickness,true,true); endchar;
 
 cmchar "right semantic bracket 3";
-beginchar(oct"161",9.75u#,dh#+rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"161",8.5u#,dh#+rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(0,2u#); right_semantic(.25[rule_thickness,stem],true,true); endchar;
 
 cmchar "right semantic bracket 5";
-beginchar(oct"162",10.5u#,rule_thickness#,4dh#-rule_thickness#);
+beginchar(oct"162",9u#,rule_thickness#,4dh#-rule_thickness#);
 adjust_fit(0,2.5u#); right_semantic(.5[rule_thickness,stem],true,true); endchar;
 
 cmchar "right semantic bracket 7";
-beginchar(oct"163",11.25u#,dh#+rule_thickness#,4dh#-rule_thickness#);
+beginchar(oct"163",9.5u#,dh#+rule_thickness#,4dh#-rule_thickness#);
 adjust_fit(0,3u#); right_semantic(.75[rule_thickness,stem],true,true); endchar;
 
 
@@ -117,6 +120,7 @@
 beginchar(oct"177",11.5u#,dh#+rule_thickness#,4dh#-rule_thickness#);
 adjust_fit(1.5u#,1.5u#); left_tortoise(.75[rule_thickness,stem]); endchar;
 
+
 cmchar "right tortoise bracket 1";
 beginchar(oct"200",7u#,rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(.75u#,.75u#); right_tortoise(rule_thickness); endchar;
@@ -169,7 +173,7 @@
 
 
 cmchar "Extensible left semantic bracket---top";
-beginchar(oct"214",12u#,dh#+rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"214",10u#,dh#+rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(4u#,0); pickup crisp.nib;
 pos1(stem,0); pos2(stem,0);
 top y1=h-1; y2=-d-eps; lft x1l=lft x2l=hround(2.5u-.5stem);
@@ -184,7 +188,7 @@
  penlabels(1,2,3,4,7,8); endchar;
 
 cmchar "Extensible left semantic bracket---bottom";
-beginchar(oct"215",12u#,dh#+rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"215",10u#,dh#+rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(4u#,0); pickup crisp.nib;
 pos1(stem,0); pos2(stem,0);
 y1=h+eps; bot y2=1-d; lft x1l=lft x2l=hround(2.5u-.5stem);
@@ -199,7 +203,7 @@
  penlabels(1,2,5,6,7,8); endchar;
 
 cmchar "Extensible left semantic bracket---extension module";
-beginchar(oct"216",12u#,.5dh#+rule_thickness#,.5dh#-rule_thickness#);
+beginchar(oct"216",10u#,.5dh#+rule_thickness#,.5dh#-rule_thickness#);
 adjust_fit(4u#,0); pickup crisp.nib;
 pos1(stem,0); pos2(stem,0);
 y1=h+1+eps; bot y2=-d-1-eps; lft x1l=lft x2l=hround(2.5u-.5stem);
@@ -213,7 +217,7 @@
  penlabels(1,2,7,8); endchar;
 
 cmchar "Extensible right semantic bracket---top";
-beginchar(oct"217",12u#,dh#+rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"217",10u#,dh#+rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(0,4u#); pickup crisp.nib;
 pos1(stem,0); pos2(stem,0);
 top y1=h-1; y2=-d-eps; rt x1r=rt x2r=hround(w-2.5u+.5stem);
@@ -228,7 +232,7 @@
  penlabels(1,2,3,4,7,8); endchar;
 
 cmchar "Extensible right semantic bracket---bottom";
-beginchar(oct"220",12u#,dh#+rule_thickness#,2dh#-rule_thickness#);
+beginchar(oct"220",10u#,dh#+rule_thickness#,2dh#-rule_thickness#);
 adjust_fit(0,4u#); pickup crisp.nib;
 pos1(stem,0); pos2(stem,0);
 y1=h+eps; bot y2=1-d; rt x1r=rt x2r=hround(w-2.5u+.5stem);
@@ -243,7 +247,7 @@
  penlabels(1,2,5,6,7,8); endchar;
 
 cmchar "Extensible right semantic bracket---extension module";
-beginchar(oct"221",12u#,.5dh#+rule_thickness#,.5dh#-rule_thickness#);
+beginchar(oct"221",10u#,.5dh#+rule_thickness#,.5dh#-rule_thickness#);
 adjust_fit(0,4u#); pickup crisp.nib;
 pos1(stem,0); pos2(stem,0);
 y1=h+1+eps; bot y2=-d-1-eps; rt x1r=rt x2r=hround(w-2.5u+.5stem);
diff -u extensibles/ORIG/xbigdel.mf extensibles/xbigdel.mf
--- extensibles/ORIG/xbigdel.mf	Thu Apr 24 16:44:19 1997
+++ extensibles/xbigdel.mf	Thu May 15 00:55:03 1997
@@ -67,176 +67,182 @@
 
 cmchar "left curly brace 2";
 beginchar(oct"006",9.5u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(.875u#,.75u#); left_curly(hair,stem); endchar;
+adjust_fit(.875u#,.75u#); left_curly(rule_thickness,.25[stem,bold]); endchar;
 
 cmchar "left curly brace 4";
 beginchar(oct"007",10.5u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(1.125u#,.75u#); left_curly(hair,stem); endchar;
+adjust_fit(1.125u#,.75u#); left_curly(rule_thickness+.dw,.75[stem,bold]); endchar;
 
 cmchar "left curly brace 6";
 beginchar(oct"010",11.5u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(1.375u#,.75u#); left_curly(hair,stem); endchar;
+adjust_fit(1.375u#,.75u#); left_curly(rule_thickness+.3dw,bold+.5dw); endchar;
 
 cmchar "right curly brace 2";
 beginchar(oct"011",9.5u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(.875u#,.75u#); right_curly(hair,stem); endchar;
+adjust_fit(.875u#,.75u#); right_curly(rule_thickness,.25[stem,bold]); endchar;
 
 cmchar "right curly brace 4";
 beginchar(oct"012",10.5u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(1.125u#,.75u#); right_curly(hair,stem); endchar;
+adjust_fit(1.125u#,.75u#); right_curly(rule_thickness+.dw,.75[stem,bold]); endchar;
 
 cmchar "right curly brace 6";
 beginchar(oct"013",11.5u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(1.375u#,.75u#); right_curly(hair,stem); endchar;
+adjust_fit(1.375u#,.75u#); right_curly(rule_thickness+.3dw,bold+.5dw); endchar;
 
 cmchar "left multiset bracket 2";
 beginchar(oct"014",9.5u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(.875u#,.75u#); left_multiset(hair,stem); endchar;
+adjust_fit(.875u#,.75u#); left_multiset(rule_thickness,.25[stem,bold]); endchar;
 
 cmchar "left multiset bracket 4";
 beginchar(oct"015",10.5u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(1.125u#,.75u#); left_multiset(hair,stem); endchar;
+adjust_fit(1.125u#,.75u#); left_multiset(rule_thickness+.dw,.75[stem,bold]); endchar;
 
 cmchar "left multiset bracket 6";
 beginchar(oct"016",11.5u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(1.375u#,.75u#); left_multiset(hair,stem); endchar;
+adjust_fit(1.375u#,.75u#); left_multiset(rule_thickness+.3dw,bold+.5dw); endchar;
 
 cmchar "right multiset bracket 2";
 beginchar(oct"017",9.5u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(.875u#,.75u#); right_multiset(hair,stem); endchar;
+adjust_fit(.875u#,.75u#); right_multiset(rule_thickness,.25[stem,bold]); endchar;
 
 cmchar "right multiset bracket 4";
 beginchar(oct"020",10.5u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(1.125u#,.75u#); right_multiset(hair,stem); endchar;
+adjust_fit(1.125u#,.75u#); right_multiset(rule_thickness+.dw,.75[stem,bold]); endchar;
 
 cmchar "right multiset bracket 6";
 beginchar(oct"021",11.5u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(1.375u#,.75u#); right_multiset(hair,stem); endchar;
+adjust_fit(1.375u#,.75u#); right_multiset(rule_thickness+.3dw,bold+.5dw); endchar;
 
 cmchar "left bracket 2";
 beginchar(oct"022",6.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(1.75u#,0); left_bracket(rule_thickness,true,true); endchar;
+adjust_fit(1.75u#,0); left_bracket(.125[rule_thickness,stem],true,true); endchar;
 
 cmchar "left bracket 4";
 beginchar(oct"023",6.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(2.25u#,0); left_bracket(rule_thickness,true,true); endchar;
+adjust_fit(2.25u#,0); left_bracket(.375[rule_thickness,stem],true,true); endchar;
 
 cmchar "left bracket 6";
 beginchar(oct"024",7.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(2.75u#,0); left_bracket(rule_thickness,true,true); endchar;
+adjust_fit(2.75u#,0); left_bracket(.625[rule_thickness,stem],true,true); endchar;
 
 cmchar "right bracket 2";
 beginchar(oct"025",6.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(0,1.75u#); right_bracket(rule_thickness,true,true); endchar;
+adjust_fit(0,1.75u#); right_bracket(.125[rule_thickness,stem],true,true); endchar;
 
 cmchar "right bracket 4";
 beginchar(oct"026",6.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(0,2.25u#); right_bracket(rule_thickness,true,true); endchar;
+adjust_fit(0,2.25u#); right_bracket(.375[rule_thickness,stem],true,true); endchar;
 
 cmchar "right bracket 6";
 beginchar(oct"027",7.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(0,2.75u#); right_bracket(rule_thickness,true,true); endchar;
+adjust_fit(0,2.75u#); right_bracket(.625[rule_thickness,stem],true,true); endchar;
 
+% width and rule_thickness corrected -- UV 1997/05/14
 cmchar "left semantic bracket 2";
-beginchar(oct"030",6.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(1.75u#,0); left_semantic(rule_thickness,true,true); endchar;
+beginchar(oct"030",8.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
+adjust_fit(1.75u#,0); left_semantic(.125[rule_thickness,stem],true,true); endchar;
 
 cmchar "left semantic bracket 4";
-beginchar(oct"031",6.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(2.25u#,0); left_semantic(rule_thickness,true,true); endchar;
+beginchar(oct"031",8.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
+adjust_fit(2.25u#,0); left_semantic(.375[rule_thickness,stem],true,true); endchar;
 
 cmchar "left semantic bracket 6";
-beginchar(oct"032",7.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(2.75u#,0); left_semantic(rule_thickness,true,true); endchar;
+beginchar(oct"032",9.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
+adjust_fit(2.75u#,0); left_semantic(.625[rule_thickness,stem],true,true); endchar;
 
+% width and rule_thickness corrected -- UV 1997/05/14
 cmchar "right semantic bracket 2";
-beginchar(oct"033",6.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(0,1.75u#); right_semantic(rule_thickness,true,true); endchar;
+beginchar(oct"033",8.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
+adjust_fit(0,1.75u#); right_semantic(.125[rule_thickness,stem],true,true); endchar;
 
 cmchar "right semantic bracket 4";
-beginchar(oct"034",6.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(0,2.25u#); right_semantic(rule_thickness,true,true); endchar;
+beginchar(oct"034",8.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
+adjust_fit(0,2.25u#); right_semantic(.375[rule_thickness,stem],true,true); endchar;
 
 cmchar "right semantic bracket 6";
-beginchar(oct"035",7.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(0,2.75u#); right_semantic(rule_thickness,true,true); endchar;
+beginchar(oct"035",9.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
+adjust_fit(0,2.75u#); right_semantic(.625[rule_thickness,stem],true,true); endchar;
 
+% rule_thickness corrected -- UV 1997/05/14
 cmchar "left floor bracket 2";
 beginchar(oct"036",7.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(1.75u#,0); left_bracket(rule_thickness,false,true); endchar;
+adjust_fit(1.75u#,0); left_bracket(.125[rule_thickness,stem],false,true); endchar;
 
 cmchar "left floor bracket 4";
 beginchar(oct"037",7.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(2.25u#,0); left_bracket(rule_thickness,false,true); endchar;
+adjust_fit(2.25u#,0); left_bracket(.375[rule_thickness,stem],false,true); endchar;
 
 cmchar "left floor bracket 6";
 beginchar(oct"040",8.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(2.75u#,0); left_bracket(rule_thickness,false,true); endchar;
+adjust_fit(2.75u#,0); left_bracket(.625[rule_thickness,stem],false,true); endchar;
 
+% rule_thickness corrected -- UV 1997/05/14
 cmchar "right floor bracket 2";
 beginchar(oct"041",7.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(0,1.75u#); right_bracket(rule_thickness,false,true); endchar;
+adjust_fit(0,1.75u#); right_bracket(.125[rule_thickness,stem],false,true); endchar;
 
 cmchar "right floor bracket 4";
 beginchar(oct"042",7.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(0,2.25u#); right_bracket(rule_thickness,false,true); endchar;
+adjust_fit(0,2.25u#); right_bracket(.375[rule_thickness,stem],false,true); endchar;
 
 cmchar "right floor bracket 6";
 beginchar(oct"043",8.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(0,2.75u#); right_bracket(rule_thickness,false,true); endchar;
+adjust_fit(0,2.75u#); right_bracket(.625[rule_thickness,stem],false,true); endchar;
 
+% rule_thickness corrected -- UV 1997/05/14
 cmchar "left ceiling bracket 2";
 beginchar(oct"044",7.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(1.75u#,0); left_bracket(rule_thickness,true,false); endchar;
+adjust_fit(1.75u#,0); left_bracket(.125[rule_thickness,stem],true,false); endchar;
 
 cmchar "left ceiling bracket 4";
 beginchar(oct"045",7.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(2.25u#,0); left_bracket(rule_thickness,true,false); endchar;
+adjust_fit(2.25u#,0); left_bracket(.375[rule_thickness,stem],true,false); endchar;
 
 cmchar "left ceiling bracket 6";
 beginchar(oct"046",8.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(2.75u#,0); left_bracket(rule_thickness,true,false); endchar;
+adjust_fit(2.75u#,0); left_bracket(.625[rule_thickness,stem],true,false); endchar;
 
+% rule_thickness corrected -- UV 1997/05/14
 cmchar "right ceiling bracket 2";
 beginchar(oct"047",7.25u#,.5dh#+rule_thickness#,2dh#-rule_thickness#);
-adjust_fit(0,1.75u#); right_bracket(rule_thickness,true,false); endchar;
+adjust_fit(0,1.75u#); right_bracket(.125[rule_thickness,stem],true,false); endchar;
 
 cmchar "right ceiling bracket 4";
 beginchar(oct"050",7.75u#,.5dh#+rule_thickness#,3dh#-rule_thickness#);
-adjust_fit(0,2.25u#); right_bracket(rule_thickness,true,false); endchar;
+adjust_fit(0,2.25u#); right_bracket(.375[rule_thickness,stem],true,false); endchar;
 
 cmchar "right ceiling bracket 6";
 beginchar(oct"051",8.25u#,.5dh#+rule_thickness#,4dh#-rule_thickness#);
-adjust_fit(0,2.75u#); right_bracket(rule_thickness,true,false); endchar;
+adjust_fit(0,2.75u#); right_bracket(.625[rule_thickness,stem],true,false); endchar;
 
 
 cmchar "slash 8";
 beginchar(oct"052",25.1u#,.5dh#+rule_thickness#,5dh#-rule_thickness#);
-big_blash(rule_thickness+1.6dw); endchar;
+big_slash(rule_thickness+1.6dw); endchar;
 
 cmchar "slash 9";
 beginchar(oct"053",29.5u#,.5dh#+rule_thickness#,6dh#-rule_thickness#);
-big_blash(rule_thickness+1.7dw); endchar;
+big_slash(rule_thickness+1.7dw); endchar;
 
 cmchar "slash 10";
 beginchar(oct"054",33.7u#,.5dh#+rule_thickness#,7dh#-rule_thickness#);
-big_blash(rule_thickness+1.8dw); endchar;
+big_slash(rule_thickness+1.8dw); endchar;
 
 cmchar "slash 11";
 beginchar(oct"055",38.1u#,.5dh#+rule_thickness#,8dh#-rule_thickness#);
-big_blash(rule_thickness+1.9dw); endchar;
+big_slash(rule_thickness+1.9dw); endchar;
 
 cmchar "slash 12";
 beginchar(oct"056",42.3u#,.5dh#+rule_thickness#,9dh#-rule_thickness#);
-big_blash(rule_thickness+2dw); endchar;
+big_slash(rule_thickness+2dw); endchar;
 
 cmchar "slash 13";
 beginchar(oct"057",46.7u#,.5dh#+rule_thickness#,10dh#-rule_thickness#);
-big_blash(rule_thickness+2.1dw); endchar;
+big_slash(rule_thickness+2.1dw); endchar;
 
 cmchar "slash 14";
 beginchar(oct"060",51.1u#,.5dh#+rule_thickness#,11dh#-rule_thickness#);
-big_blash(rule_thickness+2.2dw); endchar;
+big_slash(rule_thickness+2.2dw); endchar;
 
 cmchar "backslash 8";
 beginchar(oct"061",25.1u#,.5dh#+rule_thickness#,5dh#-rule_thickness#);


#!/bin/sh
# This is a shell archive (produced by GNU sharut 4.2.1).
# To extract the files from this archive, save it to some FILE, remove
# everything before the `!/bin/sh' line above, then type `sh FILE'.
#
# Made on 1997-05-15 03:16 MET DST by <vieth@zarquon>.
# Source directory was `/home/vieth/FTP/mathfont-0.4/etx'.
#
# Existing files will *not* be overwritten unless `-c' is specified.
#
# This shar contains:
# length mode       name
# ------ ---------- ------------------------------------------
#  25929 -rw-r--r-- MX1.etx
#
save_IFS="${IFS}"
IFS="${IFS}:"
gettext_dir=FAILED
locale_dir=FAILED
first_param="$1"
for dir in $PATH
do
  if test "$gettext_dir" = FAILED && test -f $dir/gettext \
     && ($dir/gettext --version >/dev/null 2>&1)
  then
    set `$dir/gettext --version 2>&1`
    if test "$3" = GNU
    then
      gettext_dir=$dir
    fi
  fi
  if test "$locale_dir" = FAILED && test -f $dir/shar \
     && ($dir/shar --print-text-domain-dir >/dev/null 2>&1)
  then
    locale_dir=`$dir/shar --print-text-domain-dir`
  fi
done
IFS="$save_IFS"
if test "$locale_dir" = FAILED || test "$gettext_dir" = FAILED
then
  echo=echo
else
  TEXTDOMAINDIR=$locale_dir
  export TEXTDOMAINDIR
  TEXTDOMAIN=sharutils
  export TEXTDOMAIN
  echo="$gettext_dir/gettext -s"
fi
if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
  if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
    shar_n= shar_c='
'
  else
    shar_n=-n shar_c=
  fi
else
  shar_n= shar_c='\c'
fi
touch -am 1231235999 $$.touch >/dev/null 2>&1
if test ! -f 1231235999 && test -f $$.touch; then
  shar_touch=touch
else
  shar_touch=:
  echo
  $echo 'WARNING: not restoring timestamps.  Consider getting and'
  $echo "installing GNU \`touch', distributed in GNU File Utilities..."
  echo
fi
rm -f 1231235999 $$.touch
#
$echo $shar_n 'x -' 'lock directory' "\`_sh03331': "$shar_c
if mkdir _sh03331; then
  $echo 'created'
else
  $echo 'failed to create'
  exit 1
fi
# ============= MX1.etx ==============
if test -f 'MX1.etx' && test "$first_param" != -c; then
  $echo 'x -' SKIPPING 'MX1.etx' '(file already exists)'
else
  $echo 'x -' extracting 'MX1.etx' '(gzipped)'
  sed 's/^X//' << 'SHAR_EOF' | uudecode &&
begin 600 _sh03331/gzi
M'XL(`,!>>C,"`\U=;6_;R!'^SE^Q7WJ7H+9K2B0EM9_2NP`]H&Z+)M<>$`4X
MBEQ9K/FB(RF_G*#_WIGEBY;B#%=T?,X%L"-Q=V9GGF=V=H>BULM<QOZCM0RS
M8)?(M`QBOR@^E0]9D,6[)/V\]_,R"F)YL):[0F[]X,Z_E9_\I"B>DM7G?2H?
M$K_<=%KW,EFG)2@\6.JR?/23;2S765KN'Y.5?7U]C2UE5,9R_W$CQ0UH$.\?
M2YD6498*6[Q/@RR,TEM0Z^_*39;OH4NYB?Q"?`?VR13E5_(V2O>-W="U-?K3
M,O'OI-)O+0L9E*!U_T-:YEFX4V]`_-VZE+G8^/<PC/!%G&5WPB_%LI2/95GN
MGS;*K0OQ@X!QTSL1E2(JH.-*EB@8A=(792:*;0PM02(?K2@58(&0M>V%",!A
M/TIQ@.5'^=/^<%EL91"MHT#<QD_;37$A;GZRA9^&\/_D2B`4ZR@O2I&ETMK&
M_E,!@TN19[$4V1HZ"1AC&42EW/\:R=M8YG]>.&#C:E>B??5X!8C'3R+8^+D?
M@*V%Y<>Y],,GL<TE8%<J+;6?:/E!9#GXA7:"BJ+,`209BEV!5Q(_R+-"O(FC
M.P#SNP_[*`*P+T3U$E^__8OXWZY06I,LEZ*(?I6U@#Y2C>A;Y:<%K&3@=P.6
M*($P@#>.!4249KM8YUD"GE]`6Y%UQ[@2[](,`,JM59;N"N2GW`"'#Q&$DZ*B
M"JD5P->R<B'2#'J$4OA!`&`4&`,2J5Q)L44@4^OFP[\0DIL/]I7X?J<:D8<*
M'$"X1(C5I727K"`:@)PP6J]ECNB&<EMN"C35MQKGRW5RN%Q'L;RH`PD,%]NL
MJ(P#_3BR\@P\@!G@:OHJ/+.U%<HX2B*%"BH7.*'$&]M1@5E3?"_S)R4;!;NX
M1,U^L(GD/0P,=`:H7UK95N9^F>4`1@,"!N$1KJ)"NT)F(Z.\=NKME65]W,!P
M#Q$P593X^S:"3BJ>`:!DZY?1*H(Y\80SY4'*M)VII;_:Q7Y^V`<!9(:/MOBC
MN/D.?P':?\29\`T8\<WR[[Z:*\LEU46]KGY/.MWATKN;#]4[$%W*-&P'M*R'
M#4`O#/K4E4GEFG)*(I@X^V]Q0H)WNSBT0L`Y0<(1L0J!6").<89AL8:`E1"?
MZMT:@@C#&5-E%D.\_E@@>0^;3(09AH"52IAH*I"@VY'?"]%2A('8D!1`:-2@
MRU+X#_Y3%>MJIEI%]"C6?@+@RZ+*"=@K2K9Y=@^C_++S%2U@(@XH'R-0!:YI
M404N6?58NJWCC&RF$R1^"V%34:WL>JJL`DU@-X)9]=WX8=T?YX:?/H%?*LX@
M_(4//\$NQXD`.6WBV'INP(R+T=AFD6KF8QH]DN"7%HA=7DY<%[2^JV9-*(OH
M-E4+`";U0.:8.86?9#MHK5D,(?,\;&0J0"&,$N$BADN-RE<PKM6,>R4^9(D4
M]WX>^;B\%,KL9GI?"'D%7;KC)M'M!M\&F(G*S%)(K.4#-*VB6[$"%V$%*Q1@
M"D&\N@6UH/P-V!QGN&P558P>20$BK#9:P*8J4Y08HI"AH7\"^-89Q2]Z"X%*
MSN!JF$F5HBP?DE"@**L6`I"`4=9^`%YI5F![A3;,M&"CW`^C'$2!-+2G*&1H
MK9Z:U03;U]&C#*]@?56N;ZO`J*ZVS*E+*GNH5;0)W09V2"U%`FM&<1=M+>NS
MA=.^:H*7X#Z2M6\W`-_+M8\Y\=Z/=[(XX!:B`(C+?%\O#<$&Z#WL;]Y]_)MX
M_]/']__X\,,__R'L@Q"J)[B^CTJ81$$1^[#N[=4N!I;S0F6__>-A"=:EEA"B
MZ?X(N1-X/NR7U0OH`_L4&</4H'JYN#%:KJ,AZZLPBI)JK]2Z@7JP2;6\L=_"
MD*?V'L0?1/5>J`N$W.0M>B5.__VAHOTARX$:V.1)0G1ZAFB9RS+8$,+.&<*;
M'+9AA*S;^-K`>*AE'R^K"X2,!S)J&WHZ'B3)D.@_X^R#N9/[%2;"5SO**XT\
MM:'+XCA[P.@]84Y-`MSVI-4>IS,1KTA:YV"&`W8030OTR+;)-OL:&[W9@6K#
M4)FHN.NW83AX3-NT@A#L)(+UHS9+580>>^Q63:=_PV8TOV]FN^J6`@3X;E^/
MJ5X7=_(!D_[A$ZIMWEU]5HM\W4F7G4YT8:2FEE0LM<M'3P%EXU\AZ^9^&`6P
M'^I:.'&T4>HN]D'G'O(H-D)R7D>IK+?R5<=CPE:[80B$!'?0L`.%U:K*U;,F
M2\,V`Y9];2L+&1\#Z`+7)K5A;*J&<J-6/256Z[.*'4QYE((LG4NH*0*UA%5[
M$](B:-G!F)VEH7@ZX+Y8I7FEWKT``]$T^UI<7EY6RW`N?]E!TD]4B5'@FHYE
M&"P2OEJ<P0O8<5VJN(#50$T'&`7W"*@4M@3Y7;6DPP4?UE/<W]2+2\>4B\Y4
ML0#Q592JA5>OH70TVO5&VP6K"J;8Y>&A6I6L>IU2`R;M\E6OB.T6`S<,X'15
M@,!T@S2.,0'[S%N9-X&`$4@'I^WUPV9R(%1,#[J&HX)Y7WY*R3N,O-V7=RAY
MMRM_(N)2(MZ@B$>)S`9%9I3(?%!D3HDL!D46E(A]/2B#S7VA57E@:)^X?=BA
MM]H%P+81DY)5K2GX=M7K5#>4V;9I*+=Z`TSMI@'20XG3`EO`F$8[%X^SOF&-
M!D9DT9=`8\S)]/TQAQVKB$.E+:RV-RC=B';2K:VO"&H?',MU68-`0(A(G7;3
MT&V;NO@BC&V3$<2..3EN-<ZP1^]W:I!J8RQ2;2-XG5-X]5GM^S#`_,2CE(+!
M*@UVG&YLA]_9PS$DQX!9`4%@V>H-5_$YJH^@Z#N#NL0RAU&_H\:;UM@G3FL\
M.YAJF3/"B>C9-XP)*;WU_*":7-/X-1I&XO<2$)TU-`'1%X`PIT$83N>_:9R<
M-?2+1H+MG(`@SYM'LA\%210>F^`-%<B2QTV.1DV>.;<D$3:ML:J-LW8`:CDV
MVB84T&I@0ZFA50P_+]\L5]'M,DXR*`O\8".7;[]E*P^RVJ"VP>JN/]YQ/VW<
MP2Y:%0O;2`;JWO6I1<H352*T=]6JFTR-@<65^$%)68"<]*L:IJNNUH%[^\3'
M^_G%$^`!D1Q<U'5Y]2E+ZR&8%5X](T)?D-=^'#Z3RORWHO(YL^+%INFQAK^F
MPAY5/R/J;_-LMWUMF`;"Z.63V?.`R;\*,$/Q\X*)<SJG(DAM;L='D)+'K>8K
M@?6E\?`\-_.OYN98;J<ZM[``C';WM9VL;#R/13^'NF:\2_]Y=9=J,\_UJLRW
MSW#K_O6I:@P]R[%.@3O.M=TVS!Y2I>`5D[`:KY]_U>5^ZCVIW\\%1*O,QV'R
MX]?#!&QF8($6!IG.'0@>G,Z-+'U'WY(Q-G)^!U'S9>$QWND?M[^/L!A+OL9]
MYRYF.^/&P?#:\^,W20[CW?[^:[G]`I.?NAG^H<0'*\&<;58]4+96CWB,OC'N
M,/?DS)]%'C_Q^_D3#ZEC^AR2@G?6?#ZF@-$^*-$,G!S.N+,URHO/K^R%LI!U
M8QUG63Z:"8CT6$D.A?G+>M,:.NS*>#[`E_QK^#+,2R"C&/0\BQF4?3UG-$M-
MWCR/G*_BSC`[;=4[UIG]ZSG2VCCLQ;,X.;RR&S0;Q]6%^;"C^\B"UC"E/S;O
M9DPNES+"6H(B\]:0&#'B\3HCV)EWS(0<%B5&U5L&0)(TNM*`K620E<1X&KVN
M1],[Y>AUS/1.67H=`[U3FE['1.^4H=<QTCOEZ'7,]$Y9>AT#O5.:7L=$[Y2A
MU^'H]1R:7H>CUS73Z[#TN@9Z'9I>UT2OP]#K&NEU.'I=,[T.2Z]KH->AZ75-
M]#H,O2Y'[XQYG,'EZ/7,]+HLO9Z!7I>FUS/1ZS+T>D9Z78Y>STROR]+K&>AU
M:7H]$[TN0Z_'T3MG*CN/HW=FIM=CZ9T9Z/5H>F<F>CV&WIF17H^C=V:FUV/I
MG1GH]6AZ9R9Z/8;>&4LOL[6:<?266S._,Y9?3EIGDA[WY*E&@F-^5$ZVRR8]
MKGPT\\R/S$GKC%)$#Z$LF3$EA;#^Q"3YW-RHTN#-"U<%ML.5!:U]$_.S@J-<
M>/NZ+@S7F3X&W[/N`2C),ZJT<2:W]@Q;_+PZ_S<T>1CE(O:+S4AS__3BABHK
M^%H=<L9S[%RV@L\TF"_,&\4#7R.X=JB4TBT`V\M,X:A/$WKZ,():L)(Q/"1&
MC'>\S@C68/0XY0KB(WXDK&PY;'<>$-;AHU!U3*A.&50=`ZI3&E7'A.J40=49
M0'7:1]4QH#JE466K4'M"/KOOT*BZ)E0=!E77@*I#H^J:4'485-T!5)T^JJX!
M58=&U>51)9_P=VE4/1.J+H.J9T#5I5'U3*BZ#*K>`*IN'U7/@*I+H\K67/:4
MW*IY-*HS$ZH>@^K,@*I'HSHSH>HQJ,X&4/7ZJ,X,J'HTJFRI8SOD:C6C49V;
M4)TQJ,X-J,YH5.<F5&<,JO,!5&=]5.<&5&<TJG,659=<K>8TJ@L3JG,&U84!
MU3F-ZL*$ZIQ!=3&`ZKR/ZL*`ZIQ&=<&BZI&KU8)&E?N:8`<^$E9.4@>0PG50
MCAA1*QNN!Y!=])'E^NL84M">R'6P)=>LDR]3'J_;)G`IR:K!-J![(GF\;IO@
MI20'QVQ!Z0%L&P`^$3I>MUF$9_2M!IM!>&)$V.80GI@0MAF$)T:$;0[AR1#"
M-H'PQ(2PS2`\81&>DVN9S91>MK'VLKGBRS957S93?MG&^LOF"C![J`*SB1+,
M-M5@-E.$V7P5MB#7-9LIPVQC'69SA9AMJL1LIA2SC;68S15C]E`U9A/EF&VJ
MQVRF(+/9BJP][^,$8:8DXVZ)=H$D$>9$QR`Y")@1G%,0N%,^VK.L^.?N\&R)
ME=95_+S$YOIXPV^ONE]8[WP#>Y?".'AJ1>]FCVH)HP*/^^-N40WUT0I"/?6K
M@W-J_\AQ]0Z&X<_HJA50SJG;"<`8\;ZKYG,`&.JHE1H3!@7>C%ZO$7B<9Y2K
MS[<XN\4S$_PT)*TY-AO,,';4QI_WQ\_RH>&S_+S1V7[:IL\[C8CB%SX<BE_.
MB06VE[83<IA`8$;O=AD1`F?8,M>#,HS^=X?G2`:;+`HD:4NWR\O:LM!C,8CR
M()9A5I)FM*T&"TS]M,'GO<&W\:X8&!V;SQI^H*.V\'F]\=4,WL9/`S8T7<ZR
MP]!9LT7'HM@EB<\FZ[;58,&V.N&6U%&WF7S(AG2TK6>$Y&WNQ^Q$PT:#CC#;
MK6(YJ*G;Q:"OS(&587W=+D:D\"3(`6UZA[-\-6KL=S,&6>>\J9%A=&ZHG!D,
MH_@>1>8(ID83P0A0V\C_:J<*#^\BM?.'!S>1D\XI<RBU\<_X^/<VKTX<I$?@
M/JIT!SY;G7"?5=8VG7Q2>6IRMP:L+S*5X[&U+^(,BCB4B#LHXE(BWJ"(1XG,
M!D5FE,A\4&1.B2R8,]TF#A$F"TH#=T]/:R:$[&$AFQ2:#`NQ-U@FG?,;L7L9
MQ:'\W46]LFHH[NL.I-Q`[#?ME)AC$'-H,=<@YM)BGD',H\5F!K$9+38WB,UI
M,79.N&08+6@M0_.B[4`*VB9!FQ&<F`0G9]RY^%N61[_BL?]Q=1Q.?43.09LL
M_Y;J'/E`_KGZTP&?O*O)_+/^!P3:0YBS)"KQY/\"3[/.F.-W]",T\>N/ZO30
MYBR>]M1X]2<(\&C/X[-<EI(76YF#AE">K'2=[S'NTE#F[2-YU?&M^*HRX71J
M?V8KQ48+'K*CE,"+L/%DO!IU/ZI2I%X^5P_N[2HM)^":5&EPZ<5#=O\":+5*
MO@BL5LN78=6J>394\$8[##S-U%_-N/GNXN;#O^#'AI_)Q<U/F"-6$)Q1!GN]
B[>:I*)]BN??C[<8_:=FWYQE7RK4_/%+]^S\/:3X6264``,U/
`
end
SHAR_EOF
  $echo 'gunzipping file' 'MX1.etx' &&
  gzip -d < _sh03331/gzi > 'MX1.etx' &&
  $shar_touch -am 0515025497 'MX1.etx' &&
  chmod 0644 'MX1.etx' ||
  $echo 'restore of' 'MX1.etx' 'failed'
  if ( md5sum --help </dev/null 2>&1 | grep 'sage: md5sum \[' ) >/dev/null 2>&1 \
  && ( md5sum --version </dev/null 2>&1 | grep -v 'textutils 1.12' ) >/dev/null; then
    md5sum -c << SHAR_EOF >/dev/null 2>&1 \
    || $echo 'MX1.etx:' 'MD5 check failed'
7372e55069ac35be1d9371414f8f24a8  MX1.etx
SHAR_EOF
  else
    shar_count="`LC_ALL=C wc -c < 'MX1.etx'`"
    test 25929 -eq "$shar_count" ||
    $echo 'MX1.etx:' 'original size' '25929,' 'current size' "$shar_count!"
  fi
fi
$echo $shar_n 'x -' 'lock directory' '_sh03331:' $shar_c
if rm -fr _sh03331; then
  $echo 'removed'
else
  $echo 'failed to remove'
fi
exit 0