On 15 Jul 2009, at 09:09, Kim Jones wrote:

> On 14/07/2009, at 6:40 PM, Bruno Marchal wrote:
>> The intersection of the two sets S1 = {1, 2, 3} and S2 = {2, 3, 7,
>> 8} will be written (S1 \inter S2), and is equal to the set of
>> elements which belongs to both S1 and S2. We have
>> (S1 \inter S2) = {2, 3}
>> We can define (S1 \inter S2) = {x such-that ((x belongs-to S1) and
>> (x belongs-to S2))}
>> 2 belongs to (S1 \inter S2) because ((2 belongs-to S1) and (2
>> belongs-to S2))
>> 8 does not belongs to (S1 \inter S2) because it is false that ((2
>> belongs-to S1) and (2 belongs-to S2)). Indeed 8 does not belong to  
>> S1.
> Quick (silly) questions:
> 1.
> why do you have to write "\inter"  ? Why not just write "inter"  ?
> Typing "\" causes me to make use of a key on my keyboard I have never
> used before which is scary ;-)

For the intersection of two sets S1 and S1,  I have used

1)  S1 ∩ S2

But the math symbol "∩"  did not go through all emailing system, so,  
I have used


But then I recall that in mails, capital letters seems aggressive,  
loudly ..., so I have used

3) S1 intersection S2

But then the difference between what is supposed to be represent a  
mathematical symbols, and a word in english, disappears, so I have used

4) S1 \intersection S2

But this, on the last post, seems to me to be a little too long, and  
so I am using now

5) S1 \inter S2

Only God knows what I will use tomorrow. You should learn that there  
is no standard of mathematical notations, and no two mathematicians  
use the same symbols, and not one mathematician use the same symbols  
in two different texts. What is nice, is that, usually, mathematicians  
quickly redefine what they mean by any symbols at the beginning of  
their books and papers.
Of course doing math on mails aggravates apparently this search for  
the symbols which could satisfy everyone.

Sorry to scare you,

> 2.
> "such-that" is surely "such that" but the hyphen might just mean
> something
> (this is mathematics; there are dots and dashes and slashes all over
> the place so you have to know what they all mean)
> likewise
> "belongs-to" would still mean the same thing if we wrote "belongs to"
> would it not?

Same remark. I should have use \such-that, and \belongs-to.

Note that at this stage it is really not important to be aware of the  
difference between a symbol and what the symbols refer too, but in  
logic such differences acquire some importance at some point, and I  
just try to prepare you for such nuances, having the sequel of this  
introduction in my mind.

You question are not silly and makes sense, as you see,



You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to