Tildes

[ursi]

I see you use mixture r^\sim and reqv{r} for r~. Do you think it would be appropriate to use \tilde{r} instead? this would put the tilde on top of the r instead of in the exponent position.

[hbr]

The expression r^\sim is the equivalence closure of r, like r^+ is the transitive closure and r^* is the reflexive transitive closure. I.e. I consistently put closure operators as superscripts. It might be confusing, if some closure operators are denoted by superscripts, and another by a tilde on top.

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

I see you use mixture r^\sim and reqv{r} for r~. Do you think it would be appropriate to use \tilde{r} instead? this would put the tilde on top of the r instead of in the exponent position.

— 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/6, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACX25DKJ6K7OI62WOF4AU3SOBX7RANCNFSM4TJIBYSA.

[ursi]

aright, makes sense. Is there are a particular reason you use two different ways of achieving the it? (\sim and \reqv)?

[hbr]

No, there is no reason. Maybe I started with \sim and later introduced a macro to write it more symbolically. But obviously it did not pay off.

Maybe the latex source is more readable with r^\sim and r^* than with some cryptic macros. But it is a matter of taste.

On 3 Nov 2020, at 15:34, Mason Mackaman notifications@github.com wrote:

aright, makes sense. Is there are a particular reason you use two different ways of achieving the it? (\sim and \reqv)?

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/hbr/Lambda-Calculus/issues/6#issuecomment-721386005, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACX25GCHHOEL7W6RKJN27LSOBZNFANCNFSM4TJIBYSA.