如何在 latex 中写出行等价矩阵？

Question

我正在尝试对矩阵执行该过程以将其简化为梯形和简化梯形形式，如图所示。我搜索了很多，并尝试了像 $^R\sim$ 这样的方法。我试图写出用于两个矩阵之间行等价性的符号，但写不出来。

Answer 1

举个例子，我已经通过编辑创建了图像的最后一个矩阵非常好的用户@egreg：

%% Compile and read me!
\documentclass[a4paper,12pt]{article}
\usepackage{mathtools}
\usepackage{newtxtext,newtxmath}
\begin{document}
\[\mathrel{\underset{\sim}{R}}\begin{bmatrix} 
1 & 0 & 0 \\ 
0 & 1 & 0 \\ 
0 & 0 & 0  
\end{bmatrix}
\begin{matrix} 
\\
\,\text{by }\,\mathsf{R}_{1}+\mathsf{R}_{3}\text{ and }\,\mathsf{R}_{2}-\mathsf{2R}_{3}\\
\\
\end{matrix}\]
\end{document}