☰

格式化数学定义

tag-icon • tag-icon math-mode tables align
格式化数学定义

我想定义一个定义列表。

这就是我所拥有的：

\begin{align*}
Let & L_{1} = (Q_{1},\sum,\delta_{1},q_{1},F_{1}), and \\
& L_{2} = (Q_{2},\sum,\delta_{1},q_{2},F_{2}).
\end{align*}

我基本上想让它说出来Let，然后两个定义对齐。但由于某种原因，Let第一个定义之间没有空格，而且和符号很大。

答案1

我认为您想使用宏\Sigma而不是\sum。 （后一个控制字是一个运算符，其大小在显示数学环境中会增加，例如align*；但是，即使您键入，{\textstyle\sum}您仍然会得到一个太大的符号。此外，我认为您无论如何都不会试图表示求和运算，对吗？）要将两个等式在符号上对齐=，只需将符号添加&到该符号的前面：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
\text{Let } L_{1} &= (Q_{1},\Sigma,\delta_{1}, q_{1}, F_{1})\\
\text{and } L_{2} &= (Q_{2},\Sigma,\delta_{1}, q_{2}, F_{2})\,.
\end{align*}    
\end{document}

附录。受 Andrew 关于表示定义相等的符号的评论的启发，我注意到 Scott Pakin 在他的综合 LaTeX 符号列表第 23 页中指出（略作解释，以适应当前的句子结构）“有多种方式来表示数学概念定义为。常见候选包括\triangleq、\equiv、\coloneq（以及几个变体：在字体，px字体， 和数学工具这个符号叫做\coloneqq; 在数学和Mn符号它被称为\coloneq；在冒号等号\colonequals) 和。\stackrel{\text{\tiny def}}{=}换句话说，至少当人们想要表示定义相等时，有四个符号可供选择。

答案2

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
\makebox[2em][l]{Let} L_{1} &= (Q_{1},\Sigma,\delta_{1},q_{1}, F_{1})\\
\makebox[2em][l]{and} L_{2} &= (Q_{2},\Sigma,\delta_{1}, q_{2}, F_{2})\,.
\end{align*}    
\end{document}

相关内容