☰

第一种情况：等间距方形点

tag-icon • tag-icon symbols
第一种情况：等间距方形点

我的教授在量词之间使用点，例如，

在此处输入图片描述

我的教科书是这样的：

在此处输入图片描述

我尝试使用 Detexify，但没有效果...有谁知道如何制作这两个粗点吗？

答案1

第一种情况：等间距方形点

第一种情况可能是\centerdot包装amssymb：

\documentclass{article}
\usepackage{amssymb}
\begin{document}
\[
  \exists n \in \mathbb{N} \centerdot \forall m \in \mathbb{N} \centerdot m < n
\]
\let\oldcenterdot\centerdot
\renewcommand*{\centerdot}{\mathrel{\oldcenterdot}}%
\[
  \exists\,n \in \mathbb{N} \centerdot \forall\,m \in \mathbb{N} \centerdot m < n
\]
\end{document}

结果第一种情况

\centerdot是二元运算符。在问题中的图像中，间距似乎略大一些。因此第二行使用

  • 通过重新定义关系运算符的间距\centerdot和
  • 在量词后添加一个细空格。

第二种情况：间距不对称的圆点

在第二种情况下，可以使用粗体版本的点。间距似乎有点特殊，示例中使用了

  • 左边一半的狭窄空间，
  • 右边有一个粗空格（对于关系运算符而言）。
\documentclass{article}
\usepackage{amsmath,amssymb}
\newcommand*{\anddot}{%
  \mathclose{}%
  \nonscript\mskip.5\thinmuskip
  \boldsymbol{.}%
  \;%
  \mathopen{}%
}

\begin{document}
\[
  \forall x \in \mathbb{R} \anddot x^2 \ge 0
\]
\end{document}

结果第二种情况

答案2

第一个看起来更像方形而不是圆形，您可以使用 来生成\rule{<width>}{<height>}。第二个看起来像是放大的.：

在此处输入图片描述

\documentclass{article}
\usepackage{amssymb,graphicx}
\newcommand{\dsepA}{\mathrel{\rule{.25ex}{.25ex}}}
\newcommand{\dsepB}{\mathbin{\scalebox{1.5}{.}}}
\begin{document}
$\exists n \in \mathbb{N} \dsepA \forall m \in \mathbb{N} \dsepA m < n$

$\forall x \in \mathbb{R} \dsepB x^2 \geq 0$
\end{document}

第一个被建模为关系（\mathrel），尽管它可能与相应的量词无关。第二个使用\mathbin。

相关内容