conventions/requirements for 'is' vs '==', 'not vs '!=', etc

[inhahe]

"inhahe" <inhahe at gmail.com> wrote in message news:...
> >Ma: Symbolic identity is a mathematical relation
>>Mb: Symbols are acausal
>>m: Matter is causal
>>C: Symbolic identity is not defined on matter.
>

I do think though that a computer languages claiming operations on 
'identity', as vis a vis 'equivalence', is completely contrived, as in, it's 
just an arbitary distinction about the way in which we're going to compare 
bits.