超过这里这是一篇关于连分数的最新论文，我想知道如何以这种方式格式化高斯的 K 符号。下面是一张图片来说明我的意思：
我不确定如何格式化 + 符号和省略号的对齐位置而不将它们与分数的连字符对齐a(k)/b(k)。
为了格式化 K 符号的大小、字体、索引等，我尝试了：\operatornamewithlimits{\Large{\Bigg\mathcal{K}}}}_{m=1}^\infty
或，并\operatorname*{\Large{\Bigg\mathcal{K}}}}\limits_{m=1}^\infty
尝试了\large、、、有或没有。\big\bigg
尺寸似乎合适，但指数……差远了。有人能帮我吗？我搜索了一些相关帖子（例如这里)，但在搜索过程中，我找不到我想要的适当格式，如上所示。
我的想法：我认为我需要安装一个可以增强排版和其他功能的软件包（例如 amsmath）。我正在 Overleaf 上写一篇论文 - Overleaf 是否附带此软件包？
我对 TeX 并不陌生，但我相信这是我的第一篇或第二篇文章。如果我做错了什么，或者没有遵循指南，请尽快告诉我，我会尝试相应地修改我的问题/帖子。
先感谢您。
答案1
你可以在以下网址下载 arXiv 论文的源代码：https://arxiv.org/format/1909.13597（选择下载源代码下载.tex文件）。
本文使用
\def\contFracOpe{%
\operatornamewithlimits{%
\mathchoice{% * Display style
\vcenter{\hbox{\huge $\mathcal{K}$}}%
}{% * Text style
\vcenter{\hbox{\Large $\mathcal{K}$}}%
}{% * Script style
\mathrm{\mathcal{K}}%
}{% * Script script style
\mathrm{\mathcal{K}}%
}
}
}
这个定义似乎来自项目mbc的回答到如何按以下格式排版连分数？指的是 user2478 的回答到如何创建自己的具有限制的数学运算符？。
我通常\newcommand更喜欢\def在序言中使用命令，而\mathrm's 是不必要的，所以我可能会把这个定义写成
\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\newcommand\ContFracOp{%
\operatornamewithlimits{%
\mathchoice
{\vcenter{\hbox{\huge $\mathcal{K}$}}}
{\vcenter{\hbox{\Large $\mathcal{K}$}}}
{\mathcal{K}}
{\mathcal{K}}}}
\begin{document}
$\ContFracOp\dots\ContFracOp_{k=1}^m x_k e^{\ContFracOp_{k=1}^m x_k}$
\[\ContFracOp\dots\ContFracOp_{k=1}^m x_k e^{\ContFracOp_{k=1}^m x_k}\]
\end{document}
另一种方法是\ContFracOp基于埃格尔的回答它利用 将graphicx符号\resizebox缩放到与 相同的大小\sum。
\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{graphicx}
\makeatletter
\DeclareRobustCommand\bigop[2][1]{%
\mathop{\vphantom{\sum}\mathpalette\bigop@{{#1}{#2}}}\slimits@
}
\newcommand{\bigop@}[2]{\bigop@@#1#2}
\newcommand{\bigop@@}[3]{%
\vcenter{%
\sbox\z@{$#1\sum$}%
\hbox{\resizebox{\ifx#1\displaystyle#2\fi\dimexpr\ht\z@+\dp\z@}{!}{$\m@th#3$}}%
}%
}
\makeatother
\newcommand{\ContFracOp}{\DOTSB\bigop[.96]{\mathcal{K}}}
\begin{document}
$\ContFracOp\dots\ContFracOp_{k=1}^m x_k e^{\ContFracOp_{k=1}^m x_k}$
\[\ContFracOp\dots\ContFracOp_{k=1}^m x_k e^{\ContFracOp_{k=1}^m x_k}\]
\end{document}
我通过反复试验，在 的定义中找到了 的.96可选参数中的神奇数字。它有助于手动校正符号的缩放比例，以尽可能接近 的高度。\bigop\ContFracOp\sum
答案2
moewe 答案的简化版。作为奖励，还提供了连分数的替代符号。
\documentclass{article}
\usepackage{amsmath,graphicx}
\makeatletter
\DeclareRobustCommand{\gaussk}{\DOTSB\gaussk@\slimits@}
\newcommand{\gaussk@}{\mathop{\vphantom{\sum}\mathpalette\bigcal@{K}}}
\newcommand{\bigcal@}[2]{%
\vcenter{\m@th
\sbox\z@{$#1\sum$}%
\dimen@=\dimexpr\ht\z@+\dp\z@
\hbox{\resizebox{!}{0.8\dimen@}{$\mathcal{K}$}}%
}%
}
\newcommand{\cfracplus}{\mathbin{\cfracplus@}}
\newcommand{\cfracplus@}{%
\sbox\z@{$\dfrac{1}{1}$}%
\sbox\tw@{$+$}%
\raisebox{\dimexpr\dp\tw@-\dp\z@\relax}{$+$}%
}
\newcommand{\cfracdots}{\mathord{\cfracdots@}}
\newcommand{\cfracdots@}{%
\sbox\z@{$\dfrac{1}{1}$}%
\sbox\tw@{$+$}%
\raisebox{\dimexpr\dp\tw@-\dp\z@\relax}{$\cdots$}%
}
\makeatother
\begin{document}
\[
e^n=\sum_{k=0}^{n-1}\frac{n^k}{k!}+\frac{n^{n-1}}{(n-1)!}\biggl(
1+n+\gaussk_{m=1}^{\infty}\Bigl(\frac{-n(m+n-1)}{m+2n-1}\Bigr)\biggr)
\]
\[
\gaussk_{m=1}^{\infty}\Bigl(\frac{a_m}{b_m}\Bigr)=
\frac{a_1}{b_1}\cfracplus
\frac{a_2}{b_2}\cfracplus
\frac{a_3}{b_3}\cfracplus\cfracdots
\]
\[
\sum_{n=1}^{\infty}\gaussk_{n=1}^\infty
\quad
\textstyle
\sum_{n=1}^{\infty}\gaussk_{n=1}^\infty
\quad
\scriptstyle
\sum_{n=1}^{\infty}\gaussk_{n=1}^\infty
\]
\end{document}
答案3
基于\genfrac和包的一个基本解决方案，不太通用scalerel：
\documentclass{article}
\usepackage{scalerel}
\usepackage{mathtools, amssymb}
\newcommand{\cadd}[1][0pt]{\mathbin{\genfrac{}{}{#1}{0}{}{+}}}
\newcommand{\Cdots}[1][0pt]{\genfrac{}{}{#1}{0}{\mbox{}}{\cdots}}
\DeclareMathOperator*{\Kont}{\mathcal{K}}
\DeclareMathOperator*{\bigKont}{\scalerel*{ \mathcal{K}}{\big(}}
\begin{document}
\[\bigKont_{m = 1}^{\infty}\Bigl(\frac{a_m}{b_m}\Bigr)\coloneqq \frac{a_1}{b_1}\cadd \frac{a_2}{b_2}\cadd \frac{a_3}{b_3}\cadd\Cdots \]%
\end{document}
