Frase matemática de linha dupla

Question

Olá, qual é a melhor maneira de escrever essas linhas com aquele símbolo entre as linhas

Answer 1

Eu provavelmente usaria um array, assim:

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

Estou usando \rotateboxo pacote graphicx para girar os símbolos. Acredito que o pacote stix também define um \upincomando que você pode usar diretamente.

O espaçamento com o canto superior direito ℕ não é grande, mas não tenho certeza se existe uma boa maneira de resolver isso.

Answer 2

Você não especificou qual formato TeX é esperado. Posso mostrar como fazer isso no 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

Aqui está uma possibilidade com tikz-cd:

Os ∈símbolos são rótulos em phantomsetas com a slopedopção de seguir a direção da seta (invisível).

\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

Experimente isto:

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

Saída: