答案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
你可以直接使用的命令。
与右上角 ℕ 的间距不是很大,但我不确定是否有好的方法来解决这个问题。
答案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
答案3
这是一种可能性tikz-cd
:
这些符号是箭头∈
上的标签,可以选择按照(不可见的)箭头的方向前进。phantom
sloped
\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}
答案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}
输出: