☰

重新格式化数学乘积符号

tag-icon • tag-icon math-mode
重新格式化数学乘积符号

我很确定有一个简单的格式化解决方案，但我就是找不到。
我将使用代码和图片描述我想要实现的目标。

在我的上一篇文章中，我被告知在我的帖子中添加代码，以便其他人更容易提供帮助，因此相关部分如下：

\underline{Definition}: A \textbf{state} (or equivalently, an \textbf{instance})  of a database,
is a\\function $f:\Phi\rightarrow \prod_{D\in \mathbb{D}}D$.
Intuitively, $f$ takes a relation name $\phi\in \Phi$ and gives
it an interpretation as a table.

由此产生了如下结果：

在此处输入图片描述

请注意，符号D\in\mathbb{D}并不\prod像我预期的那样位于符号正下方。
当我用 double 包裹它时，它确实位于那里$$，但它也放置了数学表达式，基本上毁了一切……：

在此处输入图片描述

这不是我想要的……

有办法吗？

答案1

您可以使用nccmath包及其\medop命令（中等大小的操作符，约占显示样式的 80%）如果您在之后插入新段落，则可以将索引放在产品符号下。这里有两种方法。我使用无编号环境，definition标签为小写字母，带有ntheorem包。下划线标题可以追溯到打字机时代……

\documentclass[a4paper]{article}
\usepackage{amsmath, amsfonts}
\usepackage{nccmath}

\setlength\parindent{1em}
\usepackage[thmmarks, amsmath, thref]{ntheorem}
\theoremstyle{nonumberplain}
\theoremheaderfont{\scshape}
\theorembodyfont{\normalfont}
\theoremseparator{:}
\newtheorem{Def}{Definition}
\begin{document}

\begin{Def}
 A \textbf{state} (or equivalently, an \textbf{instance}) of a database, is a function $f \colon \Phi \longrightarrow \medop\prod  \limits _{D \in \mathbb{D}}D$.

Intuitively, $f$ takes a relation name $\phi \in \Phi$ and gives it an interpretation as a table.\end{Def}

\begin{Def}
 A \textbf{state} (or equivalently, an \textbf{instance}) of a database,is a function $f \colon \Phi \longrightarrow \medop\prod  _{D \in \mathbb{D}}D$. Intuitively, $f$ takes a relation name $\phi \in \Phi$ and gives it an interpretation as a table.\end{Def}
\end{document}

在此处输入图片描述

答案2

我认为如果你真的想（或需要）放置极限项（D\in\mathbb{D}}）以下产品符号，从而使其在视觉上更加突出，你绝对应该“全力以赴”，将全部的在显示数学模式下，数学表达式单独占据一行。

在此处输入图片描述

\documentclass{article}
\usepackage{amssymb} % for \mathbb macro
\setlength\textwidth{8cm} % just for this example
\begin{document}
\noindent
\underline{Definition}: A \textbf{state} (or equivalently, an \textbf{instance})  of a database is a function
\[f\colon\Phi\rightarrow \prod_{D\in \mathbb{D}}D\,.\]
Intuitively, $f$ takes a relation name $\phi\in \Phi$ and gives it an interpretation as a table.
\end{document}

相关内容