<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Aug 2, 2024 at 8:07 PM Boris Veytsman <<a href="mailto:borisv@lk.net">borisv@lk.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">PNdS> From: Paulo Ney de Souza <<a href="mailto:pauloney@gmail.com" target="_blank">pauloney@gmail.com</a>><br>
PNdS> Date: Fri, 2 Aug 2024 18:48:05 -0700<br><br>
Here is my problem with this.  \nomenclature is not just a pointer to<br>
the equation.  It is also a definition of a symbol.  If you have two<br>
commands for the same symbol, should the definion be the same?  What<br>
if you changed one without changing another?<br></blockquote><div><br></div><div>If you change one without the other, you should end up with two</div><div>different ones. </div><div><br></div><div>The same symbol can be used for different things with the same </div><div>name, one example is </div><div><br></div><div>  |g| </div><div><br></div><div>which stands for the "order of g", in a group, in a ring, in a field....</div><div>Most of the time, you want to be short and say just that and let </div><div>the context define everything else. So you want something like</div><div><br></div><div>|g| order of the element g, pages 212, 267 and 315</div><div><br></div><div>and the context of each one will help define the term.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Maybe you need another interface where you want to (1) define a<br>
symbol, and (2) collect the important equations where it is used? I<br>
think these tasks require different commands, do not they?<br></blockquote><div><br></div><div>That would be nice and will cover more cases, but not necessary. </div><div><br></div><div>Paulo Ney</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
<br>
-- <br>
Good luck<br>
<br>
-Boris<br>
</blockquote></div></div>