# Is there a \bigcdot symbol in LaTeX

In my diploma thesis I need to LaTeX a concatenation over a set of sets.

I use the \cdot symbol for concatenation of two sets as in A \cdot B. (Please correct me if this is a wrong symbol for concatenation).

I would need to type a concatenation over a set of sets, using a \bigcdot symbol or an equivalent one.

It should be like when you use the \bigcup symbol to do a union over a set of sets, as in \bigcup_{i=1}^n A_{i}.

My LaTeX installation, however, does not know about such a symbol and I haven't found a clue on Google search either.

• You can search for symbols in The Comprehensive LaTeX Symbol List and at Detexify. Jul 26, 2013 at 9:55
• You can use \| for concatenation symbol, here is an old post discussing it. Jul 26, 2013 at 10:02
• I don't think \cdot is a good symbol, because it's normally used for multiplication and so it can be ambiguous. There is \odot which has also \bigodot. Jul 26, 2013 at 11:02
• How about \bullet? Jul 26, 2013 at 13:09

Besides what has been said in this post. You can also define a new "bigcdot" operator using scalerel package, for example:

\documentclass{article}
\usepackage{amsmath,scalerel}

\DeclareMathOperator*{\Bigcdot}{\scalerel*{\cdot}{\bigodot}}

\begin{document}

$\Bigcdot_{i=1}^\infty A_i=A_1+A_2+\cdots$

\end{document}


gives you: EDIT:

I considered some alternative solutions so I will post them here.

As one can see, a problem with the scalerel solution is that it stretch the \cdot too wide such that the symbol become less appeal (at least to me). So how do we get a smaller dot with bigger "size"? For instance, let's say we want to have the dot in \bigodot (we can use \boldsymbol{\cdot} for the dot only) without the circle, how do we do it?

Well, there are at least two ways: first, we want to declare this new symbol as a math operator, such that superscript and subscript will go directly above and below it, then we either enclose the bold cdot with a box of total height of \bigodot, or we insert a invisible character of the size of \bigodot after the bold cdot, as illustrate by the code (both do not need any package other than amsmath):

\newsavebox\dotbox
\sbox{\dotbox}{$$\displaystyle\bigodot$$}
\DeclareMathOperator*{\bigcdot}{\raisebox{0pt}[\ht\dotbox][\dp\dotbox]{$$\boldsymbol{\cdot}$$}}


and

\newsavebox\dotbox
\sbox{\dotbox}{$$\displaystyle\bigodot$$}
\newlength{\dotheight}
\setlength{\dotheight}{\ht\dotbox}

That said, we can also redefine other "small" symbol, such as \bullet and \|, in similar ways. In the end, let's compare the results:
$\Bigcdot_{i=1}^\infty A_i=\bigccdot_{i=1}^\infty A_i=\bigcdot_{i=1}^\infty A_i=\bigodot_{i=1}^\infty A_i=\sum_{i=1}^\infty A_i$ 