如何正确书写 $|.|$

Question

我确定这个问题是重复的，但我找不到主要问题。

如果我写的$|.|$它没有出现在我的教科书中，我想知道正确的做法是什么。我正在用它来尝试编写一个函数$|.|: A \to B$

Answer 1

请为此定义一个命令。这是我选择\blank的名称，您可能更喜欢其他名称。

为什么？因为你想要的\blank是

1. 一个普通的数学原子
2. 取决于所需的风格

为什么是条件 2？因为你的新合著者可能更喜欢破折号而不是点，或者你需要遵守一些大型出版商的内部风格。

\documentclass{article}
\usepackage{mathtools}

\newcommand{\blank}{\mathord{{}\cdot{}}}

\DeclarePairedDelimiter{\abs}{|}{|}

\begin{document}

\subsection*{How not using a command might get things wrong}

\begin{enumerate}

\item \makebox[\width][s]{$|{}\cdot{}|\colon A\to B$}
\item \makebox[\width][s]{$|\blank|\colon A\to B$}

\item \makebox[0.8\width][s]{$|{}\cdot{}|\colon A\to B$}
\item \makebox[0.8\width][s]{$|\blank|\colon A\to B$}

\item \makebox[1.2\width][s]{$|{}\cdot{}|\colon A\to B$}
\item \makebox[1.2\width][s]{$|\blank|\colon A\to B$}

\end{enumerate}

\subsection*{Easy to redefine}

\begin{enumerate}
\item $|\blank|\colon A \to B$

\item $\abs{\blank}\colon A\to B$

\renewcommand{\blank}{\mathord{-}}

\item $|\blank|\colon A \to B$

\item $\abs{\blank}\colon A\to B$

\renewcommand{\blank}{\mathord{{}\operatorname{--}{}}}

\item $|\blank|\colon A \to B$

\item $\abs{\blank}\colon A\to B$

\end{enumerate}

\end{document}

你明白我为什么不推荐类似 的东西了吗{}\cdot{}？第一部分中对对齐拉伸的模拟应该可以澄清这一点：你不希望 周围的空间\cdot参与对齐拉伸或收缩。\mathord构造周围的 构成了一个间距冻结的子公式和使其无法\blank在数学模式之外使用。您可以看到，使用\blank总是会产生相同的符号（由点和它周围的空格组成）。

在第二部分中，我展示了几个可能的重新定义\blank。

Answer 2

像这样吗？

请注意，我已经用 替换了.，而不是\cdot，因为后者被 TeX 和 LaTeX 视为关系运算符。\colon:

\documentclass{article}
\usepackage{mathtools} % for \DeclarePairedDelimiter macro
\DeclarePairedDelimiter{\abs}{\lvert}{\rvert}

\begin{document}
$\abs{ {}\cdot{} }\colon A\to B$
\end{document}