☰

在 LaTeX 中排版 ST-traces

tag-icon • tag-icon math-mode
在 LaTeX 中排版 ST-traces

ST 轨迹是带有附加反向引用弧或箭头的字符串，这些弧或箭头可能相交。示例可参见http://kilby.stanford.edu/~rvg/pub/STbisimulation.pdf

因此，基本上，这是一个类似 $a^+b^+c^+a^-b^-$ 的字符串，但带有一个圆弧或箭头（在下方或上方），从 $a^-$ 回到 $a^+$，从 $b^-$ 回到 $b^+$。

我到底该如何在 LaTeX 中排版这个？

答案1

有一种可能性是tikz-cd：

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}
\[
\begin{tikzcd}[column sep=.7em]
b^+ \arrow[rrr,dash,bend left] &
a^+ &
a^+ \arrow[rrr,dash,bend left] &
b^- &
a^+ \arrow[rrr,dash,bend left] &
a^- &
b^+ &
a^-
\end{tikzcd}
\]
\end{document}

在此处输入图片描述

你可以用

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}
\[
\begin{tikzcd}[column sep=1.4em]
b^+ \arrow[rrr,dash,bend left=40] &
a^+ &
a^+ \arrow[rrr,dash,bend left=40,crossing over] &
b^- &
a^+ \arrow[rrr,dash,bend left=40,crossing over] &
a^- &
b^+ &
a^-
\end{tikzcd}
\]
\end{document}

在此处输入图片描述

答案2

解决方案是使用pstricks，更具体地说是psmatrix使用 环境pdt-node。使用选项，只要您设置了开关pdf，就可以使用 进行编译，或者对于 MiKTeX：pdflatex--enable-shellescape__enable-write18

\documentclass[12pt, pdf]{standalone}%

\usepackage{pst-node}

\begin{document} 

 $ \psset{arcangle = 45}
\begin{psmatrix}[nodesep =3pt,colsep = 2em, arcangle = 30]
[name = a0] a^+ & [name = b0] b^+ & c^+ & [name = a1] a^- & [name = b1]b^-
\ncarc{a0}{a1}
\ncarc[border = 1pt, bordercolor = white]{b0}{b1}
\end{psmatrix} $ 

\end{document}

在此处输入图片描述

相关内容