$\oplus$ symbol and disjoint union
piramido
as far as I know the "official" symbol for union disjoint (between two
sets) is the \cup symbol with a dot placed in the middle. To use it,
you can define the new command \dotcup
\newcommand{\dotcup}{\ensuremath{\mathaccent\cdot\cup}}.
But what operation is symbolized by the \oplus symbol?
Kind regards,
Sascha
Bob Tennent
> But what operation is symbolized by the \oplus symbol?
piramido
Yes, that's right. Thank you. But what I really wanted to know is what
the symbol \uplus stands for.
Kind regards,
Sascha
Hendrik Maryns
This is not really a TeX question. You’d be better off in one of the
newsgroup with ‘symbol’ or ‘typography’ in their name.
Anyway, it is often used for exclusive or in the logic literature, or as
a dual operation for normal addition if the context requires it, or …
See http://www.unicode.org/charts/PDF/U2200.pdf, symbol 2295.
H.
--
Hendrik Maryns
http://tcl.sfs.uni-tuebingen.de/~hendrik/
==================
http://aouw.org
Ask smart questions, get good answers:
http://www.catb.org/~esr/faqs/smart-questions.html
piramido
On 21 Nov., 12:45, Hendrik Maryns <gtw37b...@sneakemail.com> wrote:
> Anyway, it is often used for exclusive or in the logic literature, or as
> a dual operation for normal addition if the context requires it, or ...
.. but it is not used for the disjoint union, right?
Kind regards,
Sascha
Hendrik Maryns
Whatever you want it to stand for. In mathematics, it is common
practice to introduce a symbol for some operations one needs in some
context. This can be anything. Only if an operation gets very common,
sometimes the notation solidifies, and one can talk about ‘the’ symbol
for it. But some symbols are just symbols that happen to sort of
express what one wants to use them for.
See the same link I sent you above, symbol \U228E, it is called
‘Multiset union’ there.
But why do you want to know? Just use the symbol as it suits your needs.
Bob Tennent
> On 21 Nov., 12:43, Bob Tennent <B...@cs.queensu.ca> wrote:
>> On Wed, 21 Nov 2007 03:34:43 -0800 (PST), piramido wrote:
>> > (between two sets) is the \cup symbol with a dot placed in the middle.
>>
>> http://en.wikipedia.org/wiki/Direct_sum
>
> Yes, that's right. Thank you. But what I really wanted to know is what
> the symbol \uplus stands for.
There is no "official" symbol for disjoint union (indeed, no "official"
symbol for anything). If you google for disjoint union, you'll see +,
|, oplus, upside-down pi, uplus, oplus, and even dotted cup, as you've
suggested, all used.
Bob T.
Hendrik Maryns
You still don’t get it, do you? There is no official symbol for
anything. What would ‘official’ mean here?
Well, there is ISO, of course. You might want to have a look at ISO
31-11:1992 [1], but I do not know whether disjoint product is in there,
I didn’t buy it. Ah, there is a Wikipedia article, of course, which
doesn’t mention disjoint union: http://en.wikipedia.org/wiki/ISO_31-11
I also urge you to read the page referenced from there, so that you know
what you are talking about:
http://en.wikipedia.org/wiki/Mathematical_notation.
H.
[1]
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=3653
Rasmus Villemoes
> Hello,
>
> as far as I know the "official" symbol for union disjoint (between two
> sets) is the \cup symbol with a dot placed in the middle.
(sorry for this OT posting)
Well, I think that depends on the discipline. I have seen this
"dotcup" used in analysis, but in my field of geometry/topology I have
only seen \sqcup used (if a special symbol is used at all, and not
just \cup with an explanation in words that the sets are disjoint).
Also, there is sometimes a semantic difference as to what is meant by
"disjoint union" of two sets. Sometimes one means simply the union of
two sets which happen to be disjoint, while in other circumstances one
_declares_ two sets to be disjoint (formally by some standard
set-theoretical construction) and then take their union. For instance
$R \sqcup R$ might be used to denote a topological space consisting of
two disjoint copies of the real line. I don't know if \dotcup and/or
\sqcup are more often used in one context or another.
--
Rasmus Villemoes
<http://home.imf.au.dk/burner/>