在我们的讲稿中,我们使用了不相交集合并集的概念。它使用一个特殊符号来区分不相交集合和通常的集合并集,我们在符号内添加了一个额外的点\cup
。有没有类似的东西\bigudot
?或者还有其他方法可以向任何符号添加一个中心点?
答案1
编辑我以为 amssymb 提供了\cupdot
您想要的功能...但事实并非如此。
\usepackage{MnSymbol}
提供\cupdot
但\bigcupdot
与之不兼容,amssymb
这是不幸的。
有时不相交并集被描绘成\sqcup
具有amssymb
答案2
解决 中没有此类符号的问题的另一种可能性amssymb
是使用点重音符号:\dot{\bigcup}
或\dot\bigcup
。这适用于所有符号,并且很可能是 中没有点符号的原因amssymb
。
但是,为了让 TeX 将这种新构造视为间距运算符,您需要使用\mathop
和\mathbin
,也就是说\mathop{\dot{\bigcup}}
和\mathbin{\dot{\cup}}
。
答案3
不相交并集有时也写成用\coprod
,因为它实际上是集合类别中的余积。
答案4
摘自符号:
\newcommand{\cupdot}{\mathbin{\mathaccent\cdot\cup}}
这并排展示了@egreg 的解决方案、“我的”解决方案和@Vilietha 的解决方案:
egreg 的和我的之间没有太大区别,但打字可能更少 ;-)