arrow formatting
Closed this issue · 2 comments
ursi commented
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
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 ***@***.***> wrote:
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.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub <#4>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACX25B5FJV3YQJAIRDNHJ3SOBRBDANCNFSM4TJGMLWA>.
ursi commented
cool, I think it will help with the initial readability of the non-horizontal arrows