函数组合的符号像一个大和

Question

来自（哪里https://math.stackexchange.com/a/1097075/340174：

我想要类似的东西

$$
\mathop{\bigcirc}^n_{k=0} f_k \quad \text{ or } \quad \mathop{\bigcirc}^0_{k=n} f_k
$$

但看上去更好——在尺寸和粗体方面可$\displaystyle\bigcap$与$\displaystyle\bigcap_{k=0}^n A_k$或 等相媲美$\displaystyle\bigoplus$。

这个怎么做？

Answer 1

线条粗细可变的圆圈：

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

\makeatletter
\newcommand{\bigcomp}{%
  \DOTSB
  \mathop{\vphantom{\sum}\mathpalette\bigcomp@\relax}%
  \slimits@
}
\newcommand{\bigcomp@}[2]{%
  \begingroup\m@th
  \sbox\z@{$#1\sum$}%
  \setlength{\unitlength}{0.9\dimexpr\ht\z@+\dp\z@}%
  \vcenter{\hbox{%
    \begin{picture}(1,1)
    \bigcomp@linethickness{#1}
    \put(0.5,0.5){\circle{1}}
    \end{picture}%
  }}%
  \endgroup
}
\newcommand{\bigcomp@linethickness}[1]{%
  \linethickness{%
      \ifx#1\displaystyle 2\fontdimen8\textfont\else
      \ifx#1\textstyle 1.65\fontdimen8\textfont\else
      \ifx#1\scriptstyle 1.65\fontdimen8\scriptfont\else
      1.65\fontdimen8\scriptscriptfont\fi\fi\fi 3
  }%
}

\makeatother

\begin{document}

\begin{gather*}
\sum_{i=1}^n \bigcup_{i=1}^n \bigcomp_{i=1}^n f_i\\
\textstyle\sum_{i=1}^n \bigcup_{i=1}^n \bigcomp_{i=1}^n f_i\\
\scriptstyle\sum_{i=1}^n \bigcup_{i=1}^n \bigcomp_{i=1}^n f_i\\
\scriptscriptstyle\sum_{i=1}^n \bigcup_{i=1}^n \bigcomp_{i=1}^n f_i
\end{gather*}

\end{document}

Answer 2

另一种可能的解决方案是使用\bigovoid符号 frommathabx和\stackinsetfromstackengine在较大的 \bigovoid 内插入较小的 \bigovoid：

\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{graphicx}
\usepackage{stackengine}

\DeclareFontFamily{U}{mathx}{\hyphenchar\font45}
\DeclareFontShape{U}{mathx}{m}{n}{%
<-6> mathx5
<6-7> mathx6
<7-8> mathx7
<8-9> mathx8
<9-10> mathx9
<10-12> mathx10
<12-> mathx12
}{}

\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}
\DeclareFontSubstitution{U}{mathx}{m}{n}

\DeclareMathSymbol{\bigovoid}{\mathop}{mathx}{"EC}

\newcommand{\BigO}{\mathop{\stackinset{c}{}{c}{}{ \scalebox{1.1}{$\bigovoid$}}{ \scalebox{1.15}{$\bigovoid$}}}}

\newcommand{\bigO}{\mathop{\stackinset{c}{-2pt}{c}{}{ \scalebox{0.8}{$\bigovoid$}}{\scalebox{0.85}{$\bigovoid$}}}}
\usepackage{xcolor}

    \begin{document}

\[ \BigO_{k=0}^{n}f_k \qquad \bigoplus_{k=0}^{n}V_k\]

$ \bigO_{k=0}^{n}f_k \qquad \bigoplus_{k=0}^{n}V_k$

but looking better - comparable in size and boldness to something like $\displaystyle\bigcap$ in $\displaystyle\bigcap_{k=0}^n A_k$ or to $\displaystyle\bigoplus$.

\end{document}