皮亚诺的点符号

Question

我想知道排版皮亚诺点符号的最佳方法是什么。

它是一个两边都有点的子集符号。例如，对于 4/3，我写为：::\supset :\!.。但是点的间距和大小不正确。

Answer 1

句号比冒号中的点稍大（至少在 Computer Modern 字体中如此，其他字体可能有所不同）。

您还应该将冒号置于数学轴的中心。

\documentclass{article}
\usepackage{amsmath}
\usepackage{bm}
\usepackage{graphicx}

% Peano colon
\newcommand{\pc}{{\mspace{-1mu}\mathop:\mspace{-1mu}}}
% Peano period
\newcommand{\pp}{{%
  \mspace{-1mu}%
  \sbox0{$:$}\sbox2{$\mathop:$}%
  \raisebox{\dimexpr\ht2-\ht0}{\scalebox{0.99}{$.$}}%
  \mspace{-1mu}%
}}
% Peano implies
\newcommand{\pim}{{\mspace{-1mu}\bm{\supset}\mspace{-1mu}}}

\begin{document}

$d(x,y) \mathrel{\pc\pc\pim\pc\pp} D$

\end{document}

Answer 2

改进egreg的答案以消除任意性并简化代码，我最终得到：

\documentclass[preview]{standalone}

\usepackage{amsmath, adjustbox}

% Defines specific colon, period and implies
\newcommand{\pc}{{:}}
\newcommand{\pp}{\adjustbox{clip,trim=0pt 0pt 0pt {.5\totalheight}}{$\pc$}}
\newcommand{\pim}{{\boldsymbol{\supset}}}

\begin{document}
    \[P \mathrel{\pp\pim\pc\pp} Q\]
\end{document}

Answer 3

这是我的解决方案。在我看来，输出结果看起来很不错，点的距离（它们是相同的），就像这个使用smallmatrixwithamsmath包的示例一样。这些点也适合符号supset。

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}
$d(x,a)<r\begin{smallmatrix} .&.\\ .&. \end{smallmatrix}\mkern-7mu\supset \mkern-7mu\begin{smallmatrix} .&\\ .&. \end{smallmatrix}d(x,a)>r$
\end{document}