编辑：

Question

我想在 Latex 中写入以下公式：

问题在于“x”下面的“i”。它不是常规分数。这意味着值“x”将被“i”替换。我该如何在 Latex 中写这个？此外，下划线比通过键入“_”使用的常规下划线更长。我该如何修改下划线的长度？

    \documentclass[12pt, a4paper]{article}
    \usepackage[T1]{fontenc}                
    \usepackage[utf8]{inputenc}             
    \usepackage[english,ngerman]{babel} 
    \usepackage{amsmath,amsfonts,amssymb,amstext} 

    \begin{document}
    $\langle x\,\,\underline{\,\,\,}\rangle_{k}\,\,\langle \underline{\,\,}\,\,x \mapsto i\,\,\underline{\,\,\,}\rangle_{state}$
    \end{document}

希望你能帮助我。

编辑：

感谢您的帮助！我已复制您的扩展并将其粘贴到我的对齐环境中。

\begin{align}
\centerline{Computational rules}
\[
p[\tabbedShortunderstack{
\udash{l_1}&,&\udash{l_2}&,&\dots&,&\udash{l_n}\\
r_1        & & r_2       & &     & & r_n
}]
\]
\centerline{Structural rules}
\[
p[\tabbedShortunderstack{
\uddash{l_1}&,&\uddash{l_2}&,&\dots&,&\uddash{l_n}\\
r_1         & & r_2        & &     & & r_n
}]
\]
\end{align}

如果我尝试运行它，进程将停止并出现以下错误：

Bad math environment delimiter. \end{align}

这意味着什么？

Answer 1

这里有一个想法。在 MWE 中，你可以调整规范.7em来更改下划线和 的大小\mygap。

\documentclass{article}
\usepackage{tabstackengine,amssymb}
\stackMath
\newcommand\udash[2][\hrulefill]{\stackunder{#2}{\makebox[.7em]{#1}}}
\newcommand\mygap{\udash[]{}}
\begin{document}
\[
\langle\tabbedShortunderstack{
  \udash{x}&\mygap&\udash{}\\ i&&}\rangle_k 
  \langle\udash{}\mygap x \mapsto i\mygap\udash{}\rangle_{\mathrm{state}}
\]
\end{document}

补充

看到原帖删除的答案，我扩展了结果以包含虚线。此外，此处\udash和\uddash将扩展到参数的宽度（加上一点缓冲区），但最小宽度为.7em。

\documentclass{article}
\usepackage{tabstackengine,amssymb}
\stackMath
\newlength\replength
\newcommand\ruleht{0pt}% ELEVATION OF RULE
\newcommand\repfrac{.6}% SOLID FRACTION OF DASH LINE [0->1] (USE 1 FOR SOLID)
\replength=.2em\relax% PERIOD OF DASHED RULE
\newcommand\rulewidth{.4pt}% THICKNESS OF RULE
\newcommand\drulefill{\leavevmode\dashfill\hfil%
  \kern\dimexpr\repfrac\replength-\replength\relax}
\newcommand\dashfill[1][\repfrac]{\cleaders\hbox to \replength{%
  \smash{\rule[\ruleht]{\repfrac\replength}{\rulewidth}}}\hfill}

\newcommand\udash[2][\hrulefill]{%
  \setbox0=\hbox{\stackon{\kern.7em}{\,#2\,}}%
  \stackunder{#2}{\makebox[\wd0]{#1}}}
\newcommand\uddash[1]{\udash[\drulefill]{#1}}
\newcommand\mygap{\hspace{.7em}}
\begin{document}
\[
\langle\tabbedShortunderstack{
  \udash{x}&\mygap&\udash{}\\ i&&}\rangle_k 
  \langle\udash{}\mygap x \mapsto i\mygap\udash{}\rangle_{\mathrm{state}}
\]
\centerline{Computational rules}
\[
 p[\tabbedShortunderstack{
   \udash{l_1}&,&\udash{l_2}&,&\dots&,&\udash{l_n}\\
   r_1        & & r_2       & &     & & r_n
 }]
\]
\centerline{Structural rules}
\[
 p[\tabbedShortunderstack{
   \uddash{l_1}&,&\uddash{l_2}&,&\dots&,&\uddash{l_n}\\
   r_1         & & r_2        & &     & & r_n
 }]
\]
\end{document}