一般情况下，两个公式的关系比较多的是推导与被推导的关系，通常在被推导公式前放一箭头，但是前后公式表达关联关系就出现了困难，甚而有时我们也想在公式之间加入文本，而不想让文本占据单独行，也有类似的应用场景。

例如如下效果：

实现这一效果采用mathtools宏包即可。上图的代码实现如下：

[color=rgb(51, 51, 51) !important][backcolor=rgb(188, 188, 188) !important]

[backcolor=transparent !important]

[backcolor=transparent !important]

[backcolor=transparent !important]

[backcolor=transparent !important]

[backcolor=transparent !important]

[color=rgb(153, 153, 153) !important]TeX

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

[color=rgb(0, 111, 224) !important] 复制代码

选自：http://tex.stackexchange.com/questions/262604/typesetting-displayed-equivalences-and-definitions-of-unequal-length