我有如下的数学注释;
$$\left.\begin{array}{rl}
x\notin f(C)\overset{C\cap f^{-1}(D)\subseteq C}{\longrightarrow} & x\notin f\big(C\cap f^{-1}(D)\big)\\
& x\in U
\end{array}\right\}\Longrightarrow x\in V$$
但正如你所看到的,箭头与上标相比很小,方程的形状也不有趣。我想用这个想法这个问题,使用方法\scalebox{}{\(\)}
如下,但它会缩放水平和垂直箭头,因此方程的形状再次变得无趣。如果您有任何其他建议,我将不胜感激。
$$\left.\begin{array}{rl}
x\notin f(C)\overset{C\cap f^{-1}(D)\subseteq C}{\scalebox{2}{\(\longrightarrow\)}} & x\notin f\big(C\cap f^{-1}(D)\big)\\
& x\in U
\end{array}\right\}\Longrightarrow x\in V$$
答案1
我认为你应该使用\xrightarrow
宏和rcases
环境数学工具包。使用这些,您可以生成
使用相对简单的代码
\documentclass{article}
\usepackage{mathtools}
\begin{document}
\[
x\notin f(C)\xrightarrow{C\cap f^{-1}(D)\subseteq C}
\begin{rcases}
& x\notin f\big(C\cap f^{-1}(D)\big)\\
& x\in U
\end{rcases}
\Longrightarrow x\in V
\]
\end{document}
特别注意,我已将您的替换$$..$$
为\[...\]
答案2
您还可以tikz
使用过度杀伤解决方案,但在箭头尖、线条粗细和颜色方面为您提供了很大的灵活性:
代码:
\documentclass{article}
\usepackage{mathtools}
\usepackage{tikz}
\makeatletter
\newcommand*{\MyArrow}[2][]{%
\mathbin{%
\tikz[baseline,remember picture] \node[above, inner sep=1pt, #1, draw=none] (X) at (0,0.5ex) {$\scriptstyle #2$};
\tikz[baseline,remember picture,overlay] \draw [->, #1] (X.south west) -- (X.south east);
}%
}
\makeatother
\newcommand{\Rhs}{%
\begin{rcases}
& x\notin f\big(C\cap f^{-1}(D)\big)\\
& x\in U
\end{rcases}
\Longrightarrow x\in V
}%
\begin{document}
\begin{gather}
x\notin f(C)\MyArrow{C\cap f^{-1}(D)\subseteq C} \Rhs \\
x\notin f(C)\MyArrow[-latex,draw=red]{C\cap f^{-1}(D)\subseteq C} \Rhs \\
x\notin f(C)\MyArrow[-stealth,draw=blue,thick]{C\cap f^{-1}(D)\subseteq C} \Rhs \\
\end{gather}
\end{document}