如何（如果可能的话）在乳胶中做某种类型的方案

Question

我正在写一些东西，揭示数学理论中某些对象具有的各种属性之间的各种相互作用。我想用图表总结一下，我希望它看起来像这样：

我开始尝试使用包 xypic（我已经用于我的图表）来执行此操作（不带省略号......），这要归功于包文档中所述的以下示例：

\entrymodifiers={++[o][F-]}
\SelectTips{cm}{}
\xymatrix @-1pc
{
    *\txt{start} \ar[r]
    & 0 \ar@(r,u)[]^b \ar[r]_a
    & 1 \ar[r]^b \ar@(r,d)[]_a
    & 2 \ar[r]^b
    \ar ‘dr_l[l] ‘_ur[l] _(.2)a [l]
    &*++[o][F=]{3}
    \ar ‘ur^l[lll]‘^dr[lll]^b [lll]
    \ar ‘dr_l[ll] ‘_ur[ll] [ll]
}

但我真的不满意。

所以我想知道是否存在一个专门用于设计复杂图形的软件包，如图形示例中的软件包，或者至少是某种类似的软件包。如果没有，tex-gurus 会对我的情况提出什么建议？

我必须明确一点，我想避免使用 tikz（除非有一个专门的“模块”可以回答我的问题，但我不这么认为），如果可能的话，也不会使用任何真正面向图形的乳胶包，并且如果最终的其他解决方案能够生成与 tikz 生成的图表相比质量更高的图表。