如何在數學模式下對 (,), {,} 和 $\vee$ 進行增肥？

Question

為了區分物件語言和元語言，我希望標題中提到的在物件語言中使用的符號和在形式元語言中使用的符號之間有相當明顯的差異。我怎樣才能最好地實現這一目標？

我對 $\boldsymbol{{}()\vee} 和 ${}()\vee$ 之間的微小差異不滿意。

也許有一些相關的符號http://linorg.usp.br/CTAN/info/symbols/compressive/symbols-a4.pdf我可以用嗎？

Answer 1

我介紹了\fat透過多重偏移疊加來增強論證的勇氣。雖然可以在文字模式或數學模式下調用它，但它的參數在數學模式下處理（除非由$它分隔將在文字模式下處理它）。重要的是，當前的數學風格被保留。對於像這樣的東西，用和來\vee定義會比較容易。\fvee\fat\vee

\documentclass{article}
\usepackage{scalerel}
\newcommand\fat[1]{\ThisStyle{\ooalign{%
  \kern.46pt$\SavedStyle#1$\cr\kern.33pt$\SavedStyle#1$\cr%
  \kern.2pt$\SavedStyle#1$\cr$\SavedStyle#1$}}}
\def\fvee{\mathbin{\fat{\vee}}}
\begin{document}
$\{(xyz\vee abc)\} \scriptscriptstyle 
 \{(xyz\vee abc)\}$

$\fat\{\fat(xyz\fvee abc\fat)\fat\} \scriptscriptstyle 
 \fat\{\fat(xyz\fvee abc\fat)\fat\}$

\fat aa\fat{$a$}

\end{document}

如果您確實想增強效果，可以為結果添加一個小的水平拉伸（在本例中為 20%）：

\documentclass{article}
\usepackage{scalerel}
\newcommand\fat[1]{\ThisStyle{\hstretch{1.2}{\ooalign{%
  \kern.46pt$\SavedStyle#1$\cr\kern.33pt$\SavedStyle#1$\cr%
  \kern.2pt$\SavedStyle#1$\cr$\SavedStyle#1$}}}}
\def\fvee{\mathbin{\fat{\vee}}}
\begin{document}
$\{(xyz\vee abc)\} \scriptscriptstyle 
 \{(xyz\vee abc)\}$

$\fat\{\fat(xyz\fvee abc\fat)\fat\} \scriptscriptstyle 
 \fat\{\fat(xyz\fvee abc\fat)\fat\}$

\fat aa\fat{$a$}

\end{document}

Answer 2

一種基於包的解決方案pdfrender，可以用線寬額外描邊符號。

\documentclass{article}
\usepackage{amsmath}% for environment "gather*"
\usepackage{pdfrender}

\newcommand*{\fatten}[1][.4pt]{%
  \textpdfrender{
    TextRenderingMode=FillStroke,
    LineWidth={\dimexpr(#1)\relax},
  }%
}

\begin{document}
\begin{gather*}
  (a \vee b) = \{a \vee b\}
\\
  \fatten{(} a \fatten{\vee} b \fatten{)} =
  \fatten{\{} a \fatten{\vee} b \fatten{\}}
\\
  \fatten[1pt]{(} a \fatten[1pt]{\vee} b \fatten[1pt]{)} =
  \fatten[1pt]{\{} a \fatten[1pt]{\vee} b \fatten[1pt]{\}}
\end{gather*}
\end{document}

警告：

• 增加的筆畫寬度確實不是有助於符號的寬度。宏可以彌補這一點：

  \newcommand*{\fatvee}[1][1pt]{%
    \mathbin{%
      \kern.5\dimexpr(#1)\relax
      \fatten[{#1}]{\vee}%
      \kern.5\dimexpr(#1)\relax
    }%
  }
  

帶寬度補償的完整範例：

\documentclass{article}
\usepackage{amsmath}% for environment "gather*"
\usepackage{pdfrender}

\newcommand*{\fatten}[1][.4pt]{%
  \textpdfrender{
    TextRenderingMode=FillStroke,
    LineWidth={\dimexpr(#1)\relax},
  }%
}

\newcommand*{\fatdef}[4][1pt]{%
  % #1: optional stroke width
  % #2: new macro for fattened symbol
  % #3: math atom type (\mathbin, \mathrel, ...)
  % #4: symbol
  \newcommand*{#2}{%
    #3{%
      \kern.5\dimexpr(#1)\relax
      \fatten[{#1}]{#4}%
      \kern.5\dimexpr(#1)\relax
    }%
  }%
}
\fatdef\fatvee\mathbin\vee
\fatdef\fatlparen\mathopen(
\fatdef\fatrparen\mathclose)
\fatdef\fatlbrace\mathopen\{
\fatdef\fatrbrace\mathclose\}

\begin{document}
\begin{gather*}
  (a \vee b) = \{a \vee b\}
\\
  \fatlparen a \fatvee b \fatrparen =
  \fatlbrace a \fatvee b \fatrbrace
\end{gather*}
\end{document}

\left並且\right可以透過重置柵欄內公式的渲染模式的巨集來支援：

\documentclass{article}
\usepackage{amsmath}% for environment "gather*"
\usepackage{pdfrender}

\newcommand*{\fatten}[1][.4pt]{%
  \textpdfrender{
    TextRenderingMode=FillStroke,
    LineWidth={\dimexpr(#1)\relax},
  }%
}

\newcommand*{\fatdef}[4][1pt]{%
  % #1: optional stroke width
  % #2: new macro for fattened symbol
  % #3: math atom type (\mathbin, \mathrel, ...)
  % #4: symbol
  \newcommand*{#2}{%
    #3{%
      \kern.5\dimexpr(#1)\relax
      \fatten[{#1}]{#4}%
      \kern.5\dimexpr(#1)\relax
    }%
  }%
}

\newcommand*{\fatleftrightdef}[4][1pt]{%
  % #1: optional stroke width
  % #2: new macro name
  % #3: left fence
  % #4: right fence
  \newcommand*{#2}[1]{%
    \kern.5\dimexpr(#1)\relax
    \fatten[{#1}]{%
      \left#3%
      \kern.5\dimexpr(#1)\relax
      \textpdfrender{TextRenderingMode=Fill}{##1}%
      \kern.5\dimexpr(#1)\relax
      \right#4%
    }%
    \kern.5\dimexpr(#1)\relax
  }%
}
\fatdef\fatvee\mathbin\vee
\fatleftrightdef\fatleftrightparens()
\fatleftrightdef\fatleftrightbraces\{\}

\begin{document}
\begin{gather*}
  \left( \frac{a}{a} \vee \frac{b}{b} \right) =
  \left\{ \frac{a}{a} \vee \frac{b}{b} \right\}
\\
  \fatleftrightparens{ \frac{a}{a} \fatvee \frac{b}{b} } =
  \fatleftrightbraces{ \frac{a}{a} \fatvee \frac{b}{b} }
\end{gather*}
\end{document}