2

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 enter image description here

How do I get the desired result?

5
  • 1
    Please write a minimal working example. See link for more details what it means.
    – user202729
    Jun 4, 2022 at 14:29
  • 2
    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 4, 2022 at 14:29
  • Thanks @user202729 but I'm looking to write a mathematical expression.
    – viradia
    Jun 4, 2022 at 15:02
  • Can you please manipulate your screenshot and add it, how your desired result should look like? Thanks
    – MS-SPO
    Jun 4, 2022 at 16:07
  • How not using enumerate instead if itemize? Avoid editing \items locally all the time. Package enumitem should be considered.
    – FHZ
    Jun 4, 2022 at 18:23

2 Answers 2

1

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}

enter image description here

1
  • If you use the same standard for labeling steps, considere creating a new environment for \begin{enumerate}[label=\roman*.] ... \end{enumerate}.
    – FHZ
    Jun 4, 2022 at 18:35
0

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

$\xrightarrow{a+b=c}$
3
  • amsmath is enough.
    – M. Logic
    Jun 4, 2022 at 15:41
  • Spelling: \xrightarrow. Jun 4, 2022 at 15:46
  • Sorry i was in my mobile there are no key for backslash
    – MadyYuvi
    Jun 4, 2022 at 16:25

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .