二重線の数式

Question

こんにちは、行間に記号を入れてこの行を書く最適な方法は何ですか

Answer 1

おそらく次のような配列を使用します。

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

\rotateboxシンボルを回転させるために graphicx パッケージを使用しています。stix パッケージでも\upin直接使用できるコマンドが定義されていると思います。

右上の ℕ との間隔があまり広くありませんが、それを解決する良い方法があるかどうかはわかりません。

Answer 2

どのような TeX 形式が期待されるかを指定していません。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

次のような可能性がありますtikz-cd:

シンボルは矢印∈のラベルであり、 （目に見えない）矢印の方向に従うオプションがあります。phantomsloped

\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

これを試して：

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

出力：