
答案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}
輸出: