\xrightarrow{} 的等效版本为 \subseteq

Question

如果我想表示函数，$f:X\rightarrow Y$我也可以写，$X\xrightarrow{f}Y$这在我编写复合地图或一些交换图时很有用。

在 subseteq 代码的情况下我们是否有类似的东西？

我想说的$U\subseteq X$是开放。

我想写一些类似于 的内容$U\xsubseteq{Open} X$，说明$U$在 中是开放的$X$。

有这个的代码吗？

Answer 1

您可以使用\overset，也许您还需要一些字距调整。

编辑：我已按照 egreg 在他的评论中向我建议的那样更正了我的答案。

\documentclass{article} 
\usepackage{amsmath} 
\newcommand{\xsubseteq}{\overset{\scriptscriptstyle\mspace{-3mu}\mathrm{Open}\mspace{-3mu}}{\subseteq}}

\begin{document}
\[ 
U\overset{\scriptscriptstyle\mathrm{Open}}{\subseteq}X
\]
If you like to improve the kerning, you can adjust the spaces manually, for example (kerning according to my taste):
\[
U\overset{\scriptscriptstyle\!\mathrm{Open}\mspace{-4mu}}{\subseteq}X
\]
Of course, you can use a new command (kerning according to egreg's suggestion):
\[
U\xsubseteq X
\]
\end{document}