超過這裡是最近一篇關於連分數的論文，我想知道如何以這種方式格式化高斯 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序言中的 for 命令，並且\mathrm是不必要的，所以我可能會將該定義讀為
\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's\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
一個基本的解決方案，不是一般的，基於\genfracand package 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}
