## Today’s progress on Gentzen Symbol

I realized that I also needed / and \circ, so I added them to the table:

The arrows are slightly more calligraphic now. \Rightarrow looks subtly wrong, but I double-checked that the angles on the head are the same as for \rightarrow. Or at least I thought I did; I just checked it again and the bottom part of the arrow head is off by three degrees in \Rightarrow.  Or rather the angle in \rightarrow is off, but somehow I like the way it looks better. I'm also wondering whether the arrows are perhaps too geometric.

My attempts at \forall and \exists are based upon AMS Euler's captial A and E, but simplified a little. I'm kind of worried that in comparison to all the other symbols they are not geometric enough.

I'm not really happy with how <, >, and \leq have turned out so far. I spent a little bit of time looking at Warnock's versions and actually rather like how they look, but I would like to avoid imitating too heavily from something that is not in "the public domain". Technically AMS Euler and Computer Modern are not "public domain", as they are copyrighted, but their owners allow for modifications and redistribution as long as they are given different names. Though the issues surrounding copyrighting typefaces is kind of a mess in the United States.  I could just opt to use the versions in Warnock, and try to come up with something better for Gentzen Symbol when I have more time.

I made a stab at building my dissertation using the current draft, but the way I have \{ and \} configured causes some problems.

## More progress on Gentzen Symbol

Below is a table of current progress on the various symbols. It would be more useful to consider how the symbols look in context, but I have not had a chance to set up my dissertation to build with the gentzen package yet.

Here are the same symbols when using the euler, amssymb, and stmaryrd packages:

I'm focusing on these particular symbols because the happen to be the ones that I use in my dissertation. I'm not entirely pleased with how some symbols are coming out so far, but this is just a first draft. Of course, there is only so much time to make revisions before I will need to deposit my dissertation. In any event, I will probably comment tomorrow on the specifics of what I have been working on.

## Curation woes

I would like to know if M. O. van Leer has a first name and perhaps even exists. As far as I can tell he was a co-author on a FPCA paper on Clean in 1987, has not published anything since, and is not listed as a former member of the Software Technology Research Group in Nijmegen.

## Step one complete, and an upgrade

I've finally handed off a draft of my dissertation to my committee. I hope that I will find time to update more frequently from here on out.

In other news, I've finally taken this opportunity to upgrade to the latest version of WordPress in the hopes that it will prevent the spread of that malignant blogroll spam that you may have been noticing. I guess this is what happens when you run software written in PHP. Maybe I will have time to think about a custom theme before too long as well.

## Jean-Yves Girard’s evolving opinion on disjunction

1995: "Only a masochist would state AB  when he knows A."

2003: "Only a moron would state AB  if he has obtained A."

## First look at Gentzen Symbol

So here is my first test that I've gotten working in LaTeX:

And for reference, here it is rendered with the "euler" package:

I definitely have more to show, mostly I just need work out a manageable scheme for splitting my single OpenType font file into separate 255 glyph encoding chunks to make ye olde TeX happy. The oldstyle figures are not new, they are just  not normally the default in existing packages for AMS Euler. You may also notice I have increased the weight of some glyphs (like the brackets, parens, and plus in the above) as I think it makes the "color" a little smoother. Finally, I've been making rough fixes to the side-bearings and kerning. Anyway, I'd be interesting in hearing what people think so far.