因此,如果我使用对齐来获得一系列方程式来证明一个陈述,那么有没有办法在最右边的括号内给出解释?
就像是:
- a | b(假设)
- b | c(假设)
- a | c (1,2, 反式)
但由于公式和解释之间的间距很大
答案1
原帖者留下了很多未说的内容,所以我会假设。我假设我正在看的东西我称之为“证明”。我假设左边的数字是证明中的步骤编号,而不是单个可引用的方程编号。我假设整个“证明”没有编号。
我用tabstackengine
它来设置align
结构。这个包让你能够定义结构中相邻元素之间的间隙。
我选择在文本模式下创建堆栈并内联设置数学运算。或者,也可以声明\TABstackMath
,并将文本设置为\textrm{}
或(使用amsmath
)设置为\text
。
\documentclass{article}
\usepackage{tabstackengine}
\TABstackText
\begin{document}
\[
\alignCenterstack{
1.&& $a\vert$& $b$ &&(hypothesis)\\
2.&& $b\vert$& $c$ &&(hypothesis)\\
3.&& $a\vert$& $c$ &&(1,2 Trans)
}
\]
\[
\setstackaligngap{3em}
\alignCenterstack{
1.&& $a\vert$& $b$ &&(hypothesis)\\
2.&& $b\vert$& $c$ &&(hypothesis)\\
3.&& $a\vert$& $c$ &&(1,2 Trans)
}
\]
\[
\setstackaligngap{1em}
\alignCenterstack{
1.&& $a\vert$& $b$ &&&&(hypothesis)\\
2.&& $b\vert$& $c$ &&&&(hypothesis)\\
3.&& $a\vert$& $c$ &&&&(1,2 Trans)
}
\]
\[
\setstackaligngap{1ex}
\alignCenterstack{
1.&& $a\vert$& $b$ &\kern50pt&(hypothesis)\\
2.&& $b\vert$& $c$ &&(hypothesis)\\
3.&& $a\vert$& $c$ &&(1,2 Trans)
}
\]
\end{document}