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
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.