Latex排版中，如何输入长的等价符号（sim）,且上下可添加文字或公式？

\xLongleftrightarrow[]{} 是长的等价于符号

\xlongleftrightarrow[]{} 是短的等价于符号

类似的还有\xLongleftarrow[]{}，\xLongrightarrow[]{}，\xlongrightarrow[]{}，\xlongleftarrow[]{}等

如题，复杂公式或者公式的多次推导都需要换行！一般换行我们都采用按照“等号对齐”的方式！

环境：align

格式如下：

\begin{align}

行1等号左 &= 行1等号右 \\

&= 行2等号右 \\

&= 行3等号右 \\

...

\end{align}

原始：只关注公式换行与对齐

示例：

\begin{align}

  x+1 &= y+2 \\

  &= z+3 \\

  &= w+4

\end{align}

结果：每一个换行都对应着一个编号！

改进1：如何一个编号都没有

方法：直接在align*环境下即可

示例：

\begin{align*}

同上

\end{align*}

结果：

改进2：如何在任意行加上编号

方法：align环境下，每一行的\\之前使用一个\notag来取消本行编号，其他有编号行会自动排序

示例：

\begin{align}

  x+1 &= y+2 \notag \\

  &= z+3 \notag \\

  &= w+4

\end{align}

\documentclass{article}

\usepackage{extarrows}%用了一个长箭头、等号的宏包，用法详见参考资料

\begin{document}

\begin{equation} %进入数学环境

\left[\begin{array}{cccc} %第一个矩阵

1&0&1&0\\

2&1&0&0\\

3&1&1&0\\

4&0&0&0

\end{array}\right]

%用矩阵的形式输入括号上面的三行变换

\xlongrightarrow{\mbox{$\begin{array}{c} %将等号上面的矩阵用\mbox装起来

-2R_1+R_2\rightarrow~R_2\\

-3R_1+R_3\rightarrow~R_3\\

-4R_1+R_4\rightarrow~R_4\end{array}$}}

%第二个矩阵

\left[\begin{array}{cccc}

1&0&1&0\\

0&1&-2&0\\

0&1&-2&0\\

0&0&-4&0

\end{array}\right]

\end{equation}

\end{document}

宏包里指令的用法，以右箭头为例，是\xlongrightarrow[下标]{上标}，其他命令用法类似，详见参考资料~

---