KaTeX 中行内含有非内联样式公式的数组

Question

我在尝试在 KaTeX 中得到正确对齐的分数不等式时遇到了困难。我得到的最佳输出是环境array：

\begin{array}{crccclc}
z\in\Bbb R^+, & 0 &\le& x-z\ffrac{x}{z} &\lt& z & (8)\\[3pt]
& z\ffrac{x}{z} &\le& x &\lt& (z+1)\ffrac{x}{z}  &(9)
\end{array}

问题是数组环境以内联样式显示公式。我如何强制数组以非内联样式打印分数、总和等，以便它们占用更多高度？

Answer 1

对于那些不使用 KaTeX 的人来说，这里有一个使用alignat环境环境的答案amsmath。

\documentclass{article}
\usepackage{array,amssymb,mathtools}
\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}
\newcommand\ffrac[2]{\floor*{\frac{#1}{#2}}}
\newlength\mylen
\settowidth\mylen{$\displaystyle x-z\ffrac{x}{z}$} % measure width of middle part

\begin{document}
\begin{alignat}{4}
z\in\Bbb{R}^+, &\quad& 0 &\le{}&& x-z\ffrac{x}{z} &{}<{}& z \\[1ex]
               && z\ffrac{x}{z} &\le{}&& \parbox{\mylen}{\centering$x$} &{}<{}& (z+1)\ffrac{x}{z} 
\end{alignat}
\end{document}

Answer 2

@Mico 解决方案的一个变体，使用 \DeclarePairedDelimiterX以下命令mathtools：

\documentclass{article}
\usepackage{mathtools}
\usepackage{amssymb}
\DeclarePairedDelimiterX{\ffrac}[2]{\lfloor}{\rfloor}{\frac{#1}{#2}}

\begin{document}

\setcounter{equation}{7}

\begin{alignat}{3}
z\in\Bbb R^+, \qquad 0 &\le x- & & z\ffrac*{x}{z} & & < z \\[3pt]
 z\ffrac*{x}{z} &\le & & x & & < (z+1)\ffrac[\bigg]{x}{z}
\end{alignat}

\end{document} 

Answer 3

我刚刚发现 KaTeX 具有darray我所要求的环境。

Answer 4

我添加了一个小答案（类似于评论）。我建议使用此链接https://katex.org/docs/support_table.htmlKaTeX，针对该表的具体简单指南。

---

---

\begin{darray}{cc}
   a & b \\
   c & d
\end{darray}

在左侧栏中，您还可以找到指南。我还添加了它在 Math.SE 中使用KaTeX的链接：MathJaX

https://math.meta.stackexchange.com/questions/5020/mathjax-basic-tutorial-and-quick-reference