箭射后破

Question

附件代码中的公式太长了，我想把它缩短。我尝试在 \rightsquigarrow 后插入一个断点，但失败了。

我该如何插入休息时间？

   \documentclass[conference]{IEEEtran}

    \usepackage{amsmath, amssymb, url, proof}
    \newcommand{\srule}[3]{
    \infer[ (#1) ]
         {#3}
         {#2}
         \bigskip
    }
    \begin{document}

    {\centering
        \begin{minipage}{1\textwidth}
            \srule{if2}
            { \bigwedge\limits_{i=1}^n t_1 \leq t_i}
            {(t_1\Rightarrow P_1,\ldots,t_n\Rightarrow P_n),C,D)
            \stackrel{\tau}\rightsquigarrow
            (P_1, C \land \bigwedge\limits_{i=1}^n t_1 \leq t_i,D+t_1))}
        \end{minipage}

        } 

    \end{document}

Answer 1

您只需添加另一个即可\stackrel{}实现：

\shortstack{}{}或者，您也可以使用在 TikZ 中的节点中写入文本时使用 \shortstack如下例所示。这也会产生如上图所示的图像。

代码：

\documentclass[conference]{IEEEtran}

\usepackage{amsmath, amssymb, url, proof}
\newcommand{\srule}[3]{
\infer[ (#1) ]
     {#3}
     {#2}
     \bigskip
}
\begin{document}

{\centering
    \begin{minipage}{1\textwidth}% ---------- \stackrel version
        \srule{if2}
        { \bigwedge\limits_{i=1}^n t_1 \leq t_i}
        {\stackrel{\displaystyle(t_1\Rightarrow P_1,\ldots,t_n\Rightarrow P_n),C,D)
        \stackrel{\tau}\rightsquigarrow}
        {(P_1, C \land \bigwedge\limits_{i=1}^n t_1 \leq t_i,D+t_1))}}
    \end{minipage}
    %
    \begin{minipage}{1\textwidth}% ---------- \shortstack version
        \srule{if2}
        { \bigwedge\limits_{i=1}^n t_1 \leq t_i}
        {\shortstack{$(t_1\Rightarrow P_1,\ldots,t_n\Rightarrow P_n),C,D)
        \stackrel{\tau}\rightsquigarrow$ \\
        $(P_1, C \land \bigwedge\limits_{i=1}^n t_1 \leq t_i,D+t_1))$}}
    \end{minipage}
    } 
\end{document}

Answer 2

使用 可以轻松获得垂直堆叠array。以下 MWE 使用\frac来堆叠元素以及array“子堆叠”下部：

\documentclass[conference]{IEEEtran}

\usepackage{amsmath, amssymb, url, proof}
\newcommand{\srule}[3]{
  \infer[ (#1) ]
    {#3}
    {#2}
    \bigskip
  }

\begin{document}

\centering
\begin{minipage}{1\textwidth}
  \srule{if2}
    { \bigwedge\limits_{i=1}^n t_1 \leq t_i}
    {(t_1\Rightarrow P_1,\ldots,t_n\Rightarrow P_n),C,D)
    \stackrel{\tau}\rightsquigarrow
    (P_1, C \land \bigwedge\limits_{i=1}^n t_1 \leq t_i,D+t_1))}
\end{minipage}

\[
  \frac
    {\bigwedge\limits_{i=1}^n t_1 \leq t_i}
    {\begin{array}{@{}c@{}}
       ((t_1\Rightarrow P_1,\ldots,t_n\Rightarrow P_n),C,D)
         \stackrel{\tau}\rightsquigarrow \\
       (P_1, C \land \bigwedge\limits_{i=1}^n t_1 \leq t_i,D+t_1)
     \end{array}}\ (if2)
\]

\end{document}