旧式并集和交集符号

Question

我发现 1970 年之前排版的书籍有时比现代版本更易于阅读。我正尝试将这种较旧的书籍样式应用于我的一些 LaTeX 文档。感谢 TeX Exchange，我使用 Old Standard 字体和一些改编版本获得了相当接近的效果。

多年来我一直在寻找的一件事就是布尔巴基使用的旧集合论符号。它们比标准符号“更平坦”。下面是一个例子：

欢迎提出任何有关如何获取此类符号的想法！

Answer 1

我不确定我更讨厌布尔巴基的数学风格还是排版。无论如何，手头上的符号是半圆形。

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

\DeclareFontFamily{U}{matha}{}
\DeclareFontSubstitution{U}{matha}{m}{n}
\DeclareFontShape{U}{matha}{m}{n}{
  <-5.5> matha5
  <5.5-6.5> matha6
  <6.5-6.5> matha7
  <7.5-8.5> matha8
  <8.5-9.5> matha9
  <9.5-11> matha10
  <11-> matha12
}{}
\DeclareSymbolFont{matha}{U}{matha}{m}{n}

\DeclareMathSymbol{\notsign}{\mathrel}{matha}{"7F}


\makeatletter
\DeclareRobustCommand{\flatcap}{\mathbin{\mathpalette\flatcap@\relax}}
\DeclareRobustCommand{\flatcup}{\mathbin{\mathpalette\flatcup@\relax}}

\newcommand{\flatcap@}[2]{%
  \begingroup
  \settowidth{\unitlength}{$\m@th#1\cap$}%
  \begin{picture}(1,0.6)
  \roundcap
  \linethickness{0.075\unitlength}
  \put(0.5,0.1){\arc[0,180]{0.4}}
  \end{picture}%
  \endgroup
}
\newcommand{\flatcup@}[2]{%
  \begingroup
  \settowidth{\unitlength}{$\m@th#1\cap$}%
  \begin{picture}(1,0.6)
  \roundcap
  \linethickness{0.075\unitlength}
  \put(0.5,0.5){\arc[0,-180]{0.4}}
  \end{picture}%
  \endgroup
}
\makeatother

\begin{document}

\itshape

$\mathbf{K}(G,P,B)$ is a partial plane \textup(i.e. $[p,q]\leqq 1$ for $p\notsign= q$\textup) 
if and only if
\begin{equation}
PB\cap BP=P\cup B
\end{equation}

$\mathbf{K}(G,P,B)$ is a partial plane \textup(i.e. $[p,q]\leqq 1$ for $p\notsign= q$\textup) 
if and only if
\begin{equation}
PB\flatcap BP=P\flatcup B
\end{equation}

$\scriptstyle A\flatcup B\flatcap C$

$\scriptstyle A\cup B\cap C$

\end{document}

注释\notsign借自mathabx。

Answer 2

从综合 LATEX 符号列表，mathabx提供最平坦的\cap和\cup，尽管可能不够平坦。

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

\DeclareFontFamily{U}{matha}{\hyphenchar\font45}
\DeclareFontShape{U}{matha}{m}{n}{
      <5> <6> <7> <8> <9> <10> gen * matha
      <10.95> matha10 <12> <14.4> <17.28> <20.74> <24.88> matha12
      }{}
\DeclareSymbolFont{matha}{U}{matha}{m}{n}
\DeclareFontSubstitution{U}{matha}{m}{n}

\DeclareMathSymbol{\flatcap}           {2}{matha}{"58}
\DeclareMathSymbol{\flatcup}           {2}{matha}{"59}


\begin{document}
\itshape
$\mathbf{K}(G,P,B)$ is a partial plane (i.e. $[p,q]\leqq 1 \text{ for } p\neq q$) if and only
\begin{equation}
    PB\cap BP=P\cup B
\end{equation}

$\mathbf{K}(G,P,B)$ is a partial plane (i.e. $[p,q]\leqq 1 \text{ for } p\neq q$) if and only
\begin{equation}
    PB\flatcap BP=P\flatcup B
\end{equation}
\end{document}

Answer 3

皱眉和微笑可能更接近理想的形式。（我刚注意到 Sebastiano 删除了一个类似的回答）

\documentclass{article}

\begin{document}


\[
PB\cap BP =
PB\frown BP
=
P\cup B =
P\smile B
\]
\end{document}