☰

如何在箭头上方写数学表达式

tag-icon • tag-icon math-mode
如何在箭头上方写数学表达式

我在写证明时尝试将这个数学表达式写$n, m \in N \leq G$ 在\Rightarrow（作为列表项）上。

但是在这个代码中

\documentclass{article}
\usepackage{amsmath}
\usepackage[utf8]{inputenc}
\usepackage{url}
\usepackage{hyperref}

\begin{document}

\subsection*{Beweis:}

\begin{itemize}
\item[i.]nehme an, dass $x \in Ng \cap Nh \neq \phi.$

\begin{itemize}
    \item[$\Rightarrow$] $x = ng$ und $x = mh$ für passende $m,n \in N$ dann $x \in Ng$ und $x \in Nh.$
    \item[$\Rightarrow$] $ng = x = mh.$
    \item[\xRightarrow{$n,m \in N \leq G$}] $g = n^{-1}mh \wedge h = m^{-1}ng$
    \item[$\Rightarrow$] $Ng = N(n^{-1}mh) \subseteq Nh \\ Nh = N(m^{-1}ng \subseteq Ng.$
\end{itemize}

\item[ii.] $Hx = Hy \Leftrightarrow H = Hyx^{-1} \Leftrightarrow yx^{-1} \in H.$

\item[iii.] $|Hx| = |H|$

\begin{itemize}
    \item[$\Rightarrow$] Dann: $Hx \subseteq G, x \in G, H \leq G.$
    \item[$\Rightarrow$] $|Hx| \leq |H|$ auch $hx = gx \Leftrightarrow h = g.$
\end{itemize}

\end{itemize}

\end{document}

输出如下 在此处输入图片描述

我如何才能得到想要的结果？

答案1

以下 MWE 适用\xRightarrow{}，具体解释如下这里写一些数学$\Rightarrow$公式枚举项包以减少本地版本的数量。

\documentclass{article}
\usepackage{amsmath}
\usepackage[utf8]{inputenc}
\usepackage{enumitem}

\makeatletter
\newcommand{\xRightarrow}[2][]{\ext@arrow 0359\Rightarrowfill@{#1}{#2}}
\makeatother

\begin{document}

\subsection*{Beweis:}

\begin{enumerate}[label=\roman*.]
  \item nehme an, dass $x \in Ng \cap Nh \neq \phi.$
  
  \begin{itemize}[label=$\Rightarrow$]
    \item $x = ng$ und $x = mh$ für passende $m,n \in N$ dann $x \in Ng$ und $x \in Nh.$
    \item $ng = x = mh.$
    \item[$\xRightarrow{n,m \in N \leq G}$] $g = n^{-1}mh \wedge h = m^{-1}ng$
    \item $Ng = N(n^{-1}mh) \subseteq Nh \\ Nh = N(m^{-1}ng \subseteq Ng.$
  \end{itemize}
  
  \item $Hx = Hy \Leftrightarrow H = Hyx^{-1} \Leftrightarrow yx^{-1} \in H.$
  
  \item $|Hx| = |H|$
  
  \begin{itemize}[label=$\Rightarrow$]
    \item Dann: $Hx \subseteq G, x \in G, H \leq G.$
    \item $|Hx| \leq |H|$ auch $hx = gx \Leftrightarrow h = g.$
  \end{itemize}
\end{enumerate}
\end{document}

在此处输入图片描述

答案2

结合使用 ofmathtools.sty和 the 标签 is\xrightarrow和 the MWEis

$\xrightarrow{a+b=c}$

相关内容