布尔巴基使用的排版间隔的方括号符号

Question

在法语中，通常使用方括号来表示各种间隔，例如：$[0, 1]$、$]0,1[$、$[0,1[$, $]0,1]$，参见Intervalle（数学）。

然而，这似乎是一个错误。例如，如果你看看布尔巴基的文本，你会发现他们使用的符号不是方括号，而且有点让人想起\lgroup，\rgroup请参见屏幕截图。

在这个符号中，用于排版间隔的正确 LaTeX 符号是什么？

我的理解是，这个符号一定是标准的，但有些评论让我认为它可能不是。它是标准的，还是仅由布尔巴基使用？

Answer 1

这些符号在某些 Unicode 数学字体中可用，即

U+2997 左黑色玳瑁括号 ⦗
U+2998 右黑色玳瑁括号 ⦘

恐怕无法扩大。

\documentclass{article}
\usepackage{unicode-math}

\setmathfont{STIX Two Math}

\begin{document}

$\lblkbrbrak a,b\rblkbrbrak$

$\mathopen\rblkbrbrak a,b\mathclose\lblkbrbrak$

$⦗a,b⦘$

$\mathopen⦘a,b\mathclose⦗$

\end{document}

当数学字体缺少符号时，可以轻松导入符号unicode-math：

\documentclass{article}
\usepackage{unicode-math}

\setmathfont{Latin Modern Math}
\setmathfont{STIX Two Math}[range={\rblkbrbrak,\lblkbrbrak}]
\setmathfont{Latin Modern Math}[range={}]% to reset the math parameters

\begin{document}

$\lblkbrbrak a,b\rblkbrbrak$

$\mathopen\rblkbrbrak a,b\mathclose\lblkbrbrak$

$⦗a,b⦘$

$\mathopen⦘a,b\mathclose⦗$

\end{document}

因为pdflatex它有点难。

\documentclass{article}

\DeclareFontEncoding{LS1}{}{}
\DeclareFontSubstitution{LS1}{stix2}{m}{n}
\DeclareSymbolFont{stixsymbols2}{LS1}{stix2frak}{m}{n}

\DeclareMathSymbol{\lblkbrbrak}{\mathopen} {stixsymbols2}{"36}
\DeclareMathSymbol{\rblkbrbrak}{\mathclose}{stixsymbols2}{"37}

\DeclareUnicodeCharacter{2997}{\lblkbrbrak}
\DeclareUnicodeCharacter{2998}{\rblkbrbrak}

\begin{document}

$\lblkbrbrak a,b\rblkbrbrak$

$\mathopen\rblkbrbrak a,b\mathclose\lblkbrbrak$

$⦗a,b⦘$

$\mathopen⦘a,b\mathclose⦗$

\end{document}

这里我还添加了非厚版本（它们是可扩展的）。因为unicode-math它与上面的类似，只是名称不同。

\documentclass{article}

\DeclareFontEncoding{LS1}{}{}
\DeclareFontSubstitution{LS1}{stix2}{m}{n}
\DeclareSymbolFont{stixsymbols2}{LS1}{stix2frak}{m}{n}

\DeclareFontEncoding{LS2}{}{}
\DeclareFontSubstitution{LS2}{stix2}{m}{n}

\DeclareSymbolFont{stixlargesymbols}  {LS2}{stix2ex}   {m} {n}
\DeclareMathSymbol{\lblkbrbrak}{\mathopen} {stixsymbols2}{"36}
\DeclareMathSymbol{\rblkbrbrak}{\mathclose}{stixsymbols2}{"37}

\DeclareMathDelimiter{\lbrbrak}{\mathopen} {stixlargesymbols}{"EE}{stixlargesymbols}{"14}
\DeclareMathDelimiter{\rbrbrak}{\mathclose}{stixlargesymbols}{"EF}{stixlargesymbols}{"15}

\DeclareUnicodeCharacter{2997}{\lblkbrbrak}
\DeclareUnicodeCharacter{2998}{\rblkbrbrak}

\DeclareUnicodeCharacter{2772}{\lbrbrak}
\DeclareUnicodeCharacter{2773}{\rbrbrak}

\begin{document}

$\lblkbrbrak a,b\rblkbrbrak$

$\mathopen\rblkbrbrak a,b\mathclose\lblkbrbrak$

$⦗a,b⦘$

$\mathopen⦘a,b\mathclose⦗$

$\lbrbrak a,b\rbrbrak$

$\mathopen\rbrbrak a,b\mathclose\lbrbrak$

$❲a,b❳$

$\mathopen❳a,b\mathclose❲$

\end{document}