<div dir="ltr">In general it is a n-to-1 relationship, n >= 0. A symbol has always a name but it can have either no home package or one home package, and additionally there can be any number of packages in which it is accessible.<div>You have to think three-dimensionally ;) yes, two symbols with the same name in the same package are EQ. However, you can destructively alter packages so as to replace a symbol with another with the same name *at a later time*. Those won't be EQ, but a package will always contain at most one symbol with a given name - at a given time.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 3, 2015 at 2:52 PM, Scott McKay <span dir="ltr"><<a href="mailto:swmckay@gmail.com" target="_blank">swmckay@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><span class=""><br><div class="gmail_quote">On Fri, Jul 3, 2015 at 8:44 AM, Martin Simmons <span dir="ltr"><<a href="mailto:martin@lispworks.com" target="_blank">martin@lispworks.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="overflow:hidden">Packages are just a way to convert strings to symbols, which is useful when<br>
they are obtained from files outside a running CL (e.g. via the reader/fasl<br>
loader).</div></blockquote></div><br></span>Agreed. Isn't it the case that {package x string} -> symbol is</div><div class="gmail_extra">a 1-to-1 relationship? In which case, two symbols having the</div><div class="gmail_extra">same name in the same package implies that the two symbols</div><div class="gmail_extra">are in fact EQ?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Sorry if I'm late to the party, I haven't been thinking about this</div><div class="gmail_extra">for a few years.</div><span class="HOEnZb"><font color="#888888"><div class="gmail_extra"><br></div><div class="gmail_extra">--S</div><div class="gmail_extra"><br></div></font></span></div>
</blockquote></div><br></div>