🚀 go-pugleaf

>I would like to use the 'definite description' operator of 
>Whitehead and Russell.  It is, effectively, an upside-down
>iota, just as the exists and forall operators are upside-
>down E and A.
> ...
>What do I have to do to get this symbol?  If it is part of a 
>regular font set then I will be embarassed at having asked the 
>net, but pleased to get an answer.

I have tried to look for one, but with no luck.  Please inform me
if it is.

>If I need to use Metafont
>to create such a symbol, has anyone already done this?

Yes, my father needed it to his Ph.d. theses, so I lent him the
Metafont book, and after a while he came up with these:

mode_setup;
font_size 10pt#;
hor#:=5/2pt#; ver#:=9/2pt#; u#:=1/2pt#;
diam#:=1/2pt#;
define_pixels(hor,ver,u);
define_blacker_pixels(diam);
beginchar("I",hor#,ver#,0);
pickup pencircle scaled diam;
lft x1=0; rt x3=w-2u;rt x4=x3; x2=2u;
y1=y3=h-2u; top y2=h; bot y4=0;
draw z1..z2..z3---z4;
labels(1,2,3,4);
endchar;

mode_setup;
font_size 12pt#;
hor#:=30/9pt#; ver#:=5pt#; u#:=5/9pt#;
diam#:=5/9pt#;
define_pixels(hor,ver,u);
define_blacker_pixels(diam);
beginchar("I",hor#,ver#,0);
pickup pencircle scaled diam;
lft x1=0; rt x3=w-2u; rt x4=x3; x2=2u;
y1=y3=h-2u; top y2=h; bot y4=0;
draw z1..z2..z3---z4;
labels(1,2,3,4);
endchar;

It is two versions because the 12 point one didn't look too good when
just downscaled to 10 point.

Good luck!

Dag Asheim					dash@ifi.uio.no
Department of Informatics
University of Oslo, Norway