
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}
Ich verwende \rotatebox
das Graphicx-Paket, um die Symbole zu drehen. Ich glaube, das Stix-Paket definiert auch einen \upin
Befehl, 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
:
Bei den ∈
Symbolen handelt es sich um Beschriftungen auf phantom
Pfeilen mit der sloped
Mö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: