Subject: arrow in front of the down rules
Newsgroups: gmane.science.mathematics.frogs
Date: 2006-02-16 10:30:47 GMT (2 years, 11 weeks, 5 days, 23 hours and 19 minutes ago)
Dear All, When talking about the down fragments of the deep inference systems, in order to increase the readability, I consider dropping the \downarrow in front of the rules. In my thesis, after having mentioned the usual convention elsewhere, I would like to adapt this notation. What I would like to know is if there is a moral objection against this. For the rules, which belong to the both fragments, and when talking about the cut, this might be confusing. However, I believe, with some precaution such a confusion can be avoided. Ciao, Ozan