如何使 $\exists$ 变为粗体

Question

我已经看过了 符号文件 并尝试了各种形式的 $\exists$ 和各种字体，但我总是得到一些看起来很细的东西。好像没有粗体版本。有没有办法近似粗体版本？我认为这适用于许多逻辑符号。

我曾有一个类似问题，由于不够清晰而被关闭。那里的建议是将字母 E 旋转或翻转。结果并不令人满意。

Answer 1

嗯... 有几个想法（被\mathop、 或包围\mathord——真的不知道）。您可以轻松更改tikz符号的粗细和比例，更改line width、x和y键，并将其与baseline选项对齐。

\documentclass{article}
\usepackage{bm}
\usepackage{tikz}
\newcommand{\Exists}{\bm{\exists}\kern-0.6em\bm{\exists}}
\newcommand{\ReallyExists}{\tikz[baseline=-0.7pt,line width=1.4pt,
    line cap=round, x=0.5em,y=0.3em] 
    \draw (0,0) -- (1,0) -- (1,1) -- (0,1) (1,1) -- (1,2) -- (0,2);} 
\begin{document}
Test: $\exists\,\bm{\exists}\,\Exists\,\ReallyExists$
\end{document}