Re: Are two symbols `equal' iff they are `eq'?

[Joost Kremers]

Marcin Borkowski wrote:
>
> On 2015-08-09, at 02:31, Joost Kremers <joost.m.kremers@gmail.com> wrote:
>>
>> Seems to me to be very clear: objects can be `equal` without being `eq`.
>> (But they cannot be `eq` if they're not `equal`.)
>
> Of course.  But what about symbols?

Well, since symbols are objects, the same rule applies. My bad, I didn't
realise you were already aware of that and were asking a more specific
question.



-- 
Joost Kremers                                   joostkremers@fastmail.fm
Selbst in die Unterwelt dringt durch Spalten Licht
EN:SiS(9)