Doppelzeiliger mathematischer Satz

Doppelzeiliger mathematischer Satz

Bildbeschreibung hier eingeben

Hallo, wie kann man diese Zeilen am besten mit diesem Symbol zwischen den Zeilen schreiben?

Antwort1

Ich würde wahrscheinlich ein Array wie dieses verwenden:

\documentclass{article}

\usepackage{amssymb}
\usepackage{graphicx}

\newcommand{\N}{\mathbb{N}}
\newcommand{\upin}{\rotatebox[origin=c]{95}{\(\in\)}}

\begin{document}

\[
\begin{array}{@{}c@{~}c@{~}c@{}}
\N \times \N & \rightarrow & \N \\
\upin & & \upin \\
(n,m) & \mapsto & n+m \\
\end{array}
\]

\end{document}

Array-Ausgabe

Ich verwende \rotateboxdas Graphicx-Paket, um die Symbole zu drehen. Ich glaube, das Stix-Paket definiert auch einen \upinBefehl, den Sie direkt verwenden können.

Der Abstand zum oberen rechten ℕ ist nicht groß, aber ich bin nicht sicher, ob es eine gute Möglichkeit gibt, das zu lösen.

Antwort2

Sie haben nicht angegeben, welches TeX-Format erwartet wird. Ich kann Ihnen zeigen, wie das in OpTeX geht:

\fontfam[lm]
\def\N{{\bbchar N}}
\def\rotin{\rotbox{90}{$\in$}}
$$
  \matrix{
      \N \times \N & \longrightarrow & \N     \cr
        \rotin     &                 & \rotin \cr
       (n,m)       & \longmapsto     & n + m  \cr    
  }
$$
\bye

Antwort3

Hier ist eine Möglichkeit mit tikz-cd:

Bildbeschreibung hier eingeben

Bei den Symbolen handelt es sich um Beschriftungen auf phantomPfeilen mit der slopedMöglichkeit, der Richtung des (unsichtbaren) Pfeils zu folgen.

\documentclass{article}

\usepackage{tikz-cd, amsfonts}

\newcommand{\N}{\mathbb{N}}

\begin{document}

\begin{tikzcd}
\N\times\N\arrow[r] & \N\\
(n,m)\arrow[r, mapsto]\arrow[u, phantom, "\in", sloped] & n+m\arrow[u, phantom, "\in", sloped]
\end{tikzcd}

\end{document}

Antwort4

Versuche dies:

\documentclass[11pt,a4paper]{book}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage[italian]{babel}
\begin{document}

    \begin{alignat*}{4}
        \mathbb{N}\times\mathbb{N}  && \rightarrow && \mathbb{N}\\
        \rotatebox{90}{$\epsilon$} && && \rotatebox{90}{$\epsilon$}\\
        (n,m) && \rightarrow && n+m
    \end{alignat*}

\end{document}

Ausgabe:

Bildbeschreibung hier eingeben

verwandte Informationen