LaTeX 矩阵转置符

3 或 4 都可, 我平常使用 3.

举个例子

设 $\mathit{M}={\mathit{A}}^{\mathsf{T}}\mathit{A}$, 则

$${\mathit{M}}^{\mathsf{T}}=({\mathit{A}}^{\mathsf{T}}\mathit{A}{)}^{\mathsf{T}}={\mathit{A}}^{\mathsf{T}}\mathit{A}=\mathit{M}$$

所以 $\mathit{M}$ 是对称矩阵.