☰

定义奇怪的运算符

tag-icon • tag-icon math-mode symbols math-operators
定义奇怪的运算符

我正在寻找一个符号，以“类似产品”的方式呈现 $n$ 个拓扑空间的连通和（或其他相当奇怪的拓扑运算）......例如在写作中

$$
{\Large{*}}_{i=1}^n G_i
$$

n 个群的自由积。我怎样才能在拓扑空间中使用 # 操作来呈现它？（是的，我正在研究 Hatcher 的 AT...）

编辑： （威利的一些读心术澄清）

如果我没看错的话，原帖作者并没有询问如何使用*或\ast符号。他问的是以下问题：

如何定义一个（可能是可变大小的）数学运算符，如\sum和，\prod其中运算符符号是 octothorpe #，使得对于内联数学，上限和下限紧跟在符号旁边，并且\displaystyle上限和下限位于符号的上方和下方？

这似乎是 Hatcher AG 所提到的部分：

Hatcher 的定义

答案1

amsmath 的命令\mathop{..}使其参数表现得像一个“大运算符”。

 \documentclass{article}
 \usepackage{amsmath}
 \usepackage{relsize}

 \newcommand{\bigstar}{\mathop{\Huge \mathlarger{\mathlarger{*}}}}

 \begin{document}

 Display:

 \[ \bigstar_{x}^{y} \]

 Inline: \( \bigstar_{x}^{y}\)


 \end{document}

答案2

我不确定下面的代码是否能满足你的要求。起初我有缩放包，但它缩放星号不够大。所以我想出了一个可能的解决方案，使用图形包来完成这项工作。新操作员至少需要数学（在这种情况下加载数学工具) 进行声明。

\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{mathtools}   % loads »amsmath«
\usepackage{graphicx}

\DeclareMathOperator*{\name}{\raisebox{-0.6ex}{\scalebox{2.5}{$\ast$}}}

\begin{document}
  \[
    \name_{i=1}^n G_i
  \]
\end{document}

因为我不知道你想如何调用这个新操作符，所以我只是选了一个简单的名字。随意重命名。

答案3

您对这个过程有一些很好的答案。连通和符号可以在mathabx包中找到，\hash或者\varhash。请参阅“如何查找数学符号？”。

答案4

我认为您正在寻找\ast：

\documentclass{article}

\newcommand\connectedsum{\ensuremath{\,\ast_{i=1}^n}\,}

\begin{document}

    $F_i\connectedsum G_i$

\end{document}

相关内容