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.

Gentzen symbol table

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

Euler symbol table

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.

Leave a Comment