search

hbr / Lambda-Calculus

Some papers on "Lambda Calculus"
23 stars 4 forks source link

arrow formatting #4

Closed ursi closed 1 year ago

ursi commented 3 years ago

Would you be interested in updating \to_r^* to \to_{r^*} and other analogous changes? I might be willing to do it, but before I consider it I'd like to know if you'd be open to it.

hbr commented 3 years ago

The change seems to be reasonable, because the star or similar superscripts belong to the relation and not the arrow.

On 3 Nov 2020, at 14:22, Mason Mackaman notifications@github.com wrote:

Would you be interested in updating \tor^* to \to{r^*} and other analogous changes? I might be willing to do it, but before I consider it I'd like to know if you'd be open to it.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/hbr/Lambda-Calculus/issues/4, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACX25B5FJV3YQJAIRDNHJ3SOBRBDANCNFSM4TJGMLWA.

ursi commented 3 years ago

cool, I think it will help with the initial readability of the non-horizontal arrows