Oración matemática de doble línea

Question

Hola, ¿cuál es la mejor manera de escribir estas líneas con ese símbolo entre las filas?

Answer 1

Probablemente usaría una matriz como esta:

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

Estoy usando \rotateboxel paquete gráfico para rotar los símbolos. Creo que el paquete stix también define un \upincomando que puedes usar directamente.

El espaciado con la ℕ superior derecha no es muy bueno, pero no estoy seguro de que haya una buena manera de resolverlo.

Answer 2

No especificaste qué formato TeX se espera. Puedo mostrarte cómo hacer esto en OpTeX:

\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

Answer 3

Aquí hay una posibilidad con tikz-cd:

Los ∈símbolos son etiquetas en phantomflechas con la slopedopción de seguir la dirección de la flecha (invisible).

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

Answer 4

Prueba esto:

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

Producción: