如何使用 MathJAX 用框编写此表达式？

Question

我是 LaTeX 的初学者。我正在尝试使用 MathJAX 编写以下表达式。

我可以使用数组包编写不带框的表达式。但我无法在数组内绘制框。你能帮我吗？谢谢你阅读我的问题。

Answer 1

下面可以充分实现这一点：

$$
\begin{array}{l}
  \begin{array}{|l|}
    \hline
    \hspace{20pt} \rlap{q \rightarrow r} \hspace{200pt} \hbox{assumption} \\
    \begin{array}{|l|}
      \hline
      \hspace{14pt} \rlap{\neg q \rightarrow \neg p} \hspace{200pt} \hbox{assumption} \\
      \begin{array}{|l|}
        \hline
        \hspace{8pt} \rlap{p} \hspace{200pt} \hbox{assumption} \\
        \hspace{8pt} \rlap{\neg \neg p} \hspace{200pt} \neg \neg \hbox{i 3} \\
        \hspace{8pt} \rlap{\neg \neg q} \hspace{200pt} \hbox{MT 2, 4} \\
        \hspace{8pt} \rlap{q} \hspace{200pt} \neg \neg \hbox{e 5} \\
        \hspace{8pt} \rlap{r} \hspace{200pt} {\rightarrow} \hbox{e 1, 6} \\
        \hline
      \end{array} \\
      \hspace{14pt} \rlap{p \rightarrow r} \hspace{200pt} {\rightarrow} \hbox{i 3-7} \\
      \hline
    \end{array} \\
    \hspace{20pt} \rlap{(\neg q \rightarrow \neg p) \rightarrow (p \rightarrow r)} \hspace{200pt} {\rightarrow} \hbox{i 2-8} \\
    \hline
  \end{array} \\
  \hspace{26pt} \rlap{(q \rightarrow r) \rightarrow ((\neg q \rightarrow \neg p) \rightarrow (p \rightarrow r))} \hspace{200pt} {\rightarrow} \hbox{i 1-9}
\end{array}
$$

测试于数学：

它假设6pt长度为\arraycolsep- 垂直规则和单元格内容之间的间隙在array。在文本模式下设置内容时\rlap提供r对 ping 的访问。lap\hbox