在等效基础上写文本

Question

我想得到图像下方的结果。但是当我写入这个 $F \equiv^{SAT} G$ 时，没有得到预期的结果。

Answer 1

作为何塞·卡洛斯·桑托斯 已经在评论中指出，\stackrel会起到作用。这是 MWE。

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\[
    F\stackrel{\text{\scriptsize SAT}}{\equiv}G
\]
\end{document}

这里不使用“注意” \mathclap，因为 SAT 太宽，不能丢弃它的宽度（否则不可避免地会很丑）。