How to write mathematical expression above arrow

Question

I'm trying to write this mathematical expression $n, m \in N \leq G$ on \Rightarrow (as a list item) while writing proof.

But in this code

\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}

The output is like this

How do I get the desired result?

Please write a minimal working example. See link for more details what it means. — user202729, Jun 04 '22 at 14:29
I think it's not defined by default though, you need the definition, use one of the solutions in math mode - \xRightarrow (text) - TeX - LaTeX Stack Exchange — user202729, Jun 04 '22 at 14:29
Thanks @user202729 but I'm looking to write a mathematical expression. — viradia, Jun 04 '22 at 15:02
Can you please manipulate your screenshot and add it, how your desired result should look like? Thanks — MS-SPO, Jun 04 '22 at 16:07
How not using enumerate instead if itemize? Avoid editing \items locally all the time. Package enumitem should be considered. — FHZ, Jun 04 '22 at 18:23

score 1 · Accepted Answer · answered Jun 04 '22 at 18:28

The following MWE applies \xRightarrow{} as explained here to write some math above $\Rightarrow$ and the enumitem package to reduce the amount of local editions.

\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}

If you use the same standard for labeling steps, considere creating a new environment for \begin{enumerate}[label=\roman*.] ... \end{enumerate}. — FHZ, Jun 04 '22 at 18:35

MadyYuvi · Answer 2 · 2022-06-06T03:25:08.310

0

Combination of using of mathtools.sty and the tag is \xrightarrow and the MWE is

$\xrightarrow{a+b=c}$

edited Jun 06 '22 at 03:25

answered Jun 04 '22 at 15:01

MadyYuvi

13,693

amsmath is enough. – M. Logic Jun 04 '22 at 15:41
Spelling: \xrightarrow. – barbara beeton Jun 04 '22 at 15:46
Sorry i was in my mobile there are no key for backslash – MadyYuvi Jun 04 '22 at 16:25

How to write mathematical expression above arrow

2 Answers2