[opentheory-users] article format wording about constants

[Joe Hurd]

Hi Ramana,

> Does OpenTheory's subst command also do renaming of bound variables
> where necessary?
> It might be nice to document that; your call though.

Excellent suggestion - I've added another note to the documentation of
the "subst" command.

> I was about to say I want to know how the new names are to be
> computed, but I realize that since they are bound, it doesn't matter.

Indeed, one of the design goals of the article format is that a system
reading an article is free to rename bound variables as it pleases.

Cheers,

Joe