如何在 LaTeX 中链接数学表达式上的符号？

Question

我想用 LaTeX 表达式排版此图像：

在这个表达式中，我们有一个字符序列（我猜是希腊文 tau，\vee符号，，\lnot符号\in，\square），最重要的是，它在 tau 和方块之间有联系。

我怎样才能在 LaTeX 中将其制作成数学方程式或图形？我需要像 TikZ 这样的库吗？当然，我还希望以后能够添加和/或移动符号。

从一个不太重要的角度来说，我们能否控制像 \in 这样的符号前后的空格？

注意：这被称为集结，它来自 Nicolas Bourbaki 的《集合论》一书。

先感谢您

Answer 1

这非常简单pstricks：

    \documentclass{article}
    \usepackage{amssymb, upgreek}
    \usepackage{pst-node}

    \begin{document}

    \[ \Rnode{T}{\mathbf{\uptau}} \vee \lnot \in \Rnode{S1}{\square} \mathbf{A'}\in \Rnode{S2}{\square} \mathbf{A''}
    \psset{linejoin=1, angle=90, nodesep=2pt}
    \ncbar{T}{S1}\ncbar[armA=15pt]{T}{S2}\]%

    \end{document}%