为了避免过多的象征意义，我喜欢用一些文字代替一些连接词来显示方程式，例如
(\forall x\in \mathbb{N}: \{1,\dots,x-1\} \subseteq B)
\rightarrow x\in B\quad \text{implies} \ B=\mathbb{N}.
正如您所看到的，我不得不在代码中手动插入一些空格。为了获得令人满意的结果，这些空格可能取决于例如每侧公式的长度（在此示例中，我需要在文本的\quad前面和\后面添加空格，但我对结果并不满意）。
我发现了一些相关的问题，例如这个，但没有完全像这样的东西。
有没有办法自动完成这个（以及更多正确地， 对于这个问题）？