[Tex/LaTex] bold version of succcurlyeq

Question

I would like to find a free font (preferably as in free speech) that can be used with LaTeX and that contains a bold version of $\succcurlyeq$ (defined in package amssymb).

Currently I use poor man’s bold, but it is unsatisfactory, especially as the bold version of $\succcurlyeq$ differs from the normal $\succcurlyeq$ in a different way than the bold version of $\succeq$ differs from the normal $\succeq$.

\documentclass{article}
\usepackage{amssymb}
\usepackage{bm}
\begin{document}
$\succ$ $\boldsymbol{\succ}$
$\succeq$ $\boldsymbol{\succeq}$
$\succcurlyeq$ $\boldsymbol{\succcurlyeq}$
\end{document}

More generally, is there somewhere a list of fonts “compatible” with LaTeX? (As I understand, not every font can be used with LaTeX, under the constraint of sticking to LaTeX rather than switching to XeLaTeX or Lua.) And is there a way of searching specifically for a font that contains bold symbols?

Answer 1

The AMS symbol fonts don't provide bold versions and neither do the mathabx fonts.

You can use the symbols in MnSymbol, but they're smaller than the CM fonts; scaling them will thicken their strokes. Here's an experiment:

\documentclass{article}
\usepackage{amssymb,bm}

\DeclareFontFamily{U}{MnSymbolD}{}
\DeclareFontShape{U}{MnSymbolD}{m}{n}{
    <-6>  s*[1.2] MnSymbolD5
   <6-7>  s*[1.2] MnSymbolD6
   <7-8>  s*[1.2] MnSymbolD7
   <8-9>  s*[1.2] MnSymbolD8
   <9-10> s*[1.2] MnSymbolD9
  <10-12> s*[1.2] MnSymbolD10
  <12->   s*[1.2] MnSymbolD12}{}
\DeclareFontShape{U}{MnSymbolD}{b}{n}{
    <-6>  s*[1.2] MnSymbolD-Bold5
   <6-7>  s*[1.2] MnSymbolD-Bold6
   <7-8>  s*[1.2] MnSymbolD-Bold7
   <8-9>  s*[1.2] MnSymbolD-Bold8
   <9-10> s*[1.2] MnSymbolD-Bold9
  <10-12> s*[1.2] MnSymbolD-Bold10
  <12->   s*[1.2] MnSymbolD-Bold12}{}
\DeclareSymbolFont{MnSyD}{U}{MnSymbolD}{m}{n}
\SetSymbolFont{MnSyD}{bold}{U}{MnSymbolD}{b}{n}

\DeclareMathSymbol\prec{\mathrel}{MnSyD}{"68}
\DeclareMathSymbol\succ{\mathrel}{MnSyD}{"69}
\DeclareMathSymbol\preceq{\mathrel}{MnSyD}{"6A}
\DeclareMathSymbol\succeq{\mathrel}{MnSyD}{"6B}
\DeclareMathSymbol\preccurlyeq{\mathrel}{MnSyD}{"6C}
\DeclareMathSymbol\succcurlyeq{\mathrel}{MnSyD}{"6D}
\DeclareMathSymbol\precsim{\mathrel}{MnSyD}{"6E}
\DeclareMathSymbol\succsim{\mathrel}{MnSyD}{"6F}
\DeclareMathSymbol\precapprox{\mathrel}{MnSyD}{"70}
\DeclareMathSymbol\succapprox{\mathrel}{MnSyD}{"71}

\begin{document}

$\prec\succ\preceq\succeq\preccurlyeq\succcurlyeq\precsim\succsim$
$<>$

\mathversion{bold}

$\prec\succ\preceq\succeq\preccurlyeq\succcurlyeq\precsim\succsim$
$<>$

\end{document}

At natural size (with [1.0] or removing s*[1.2] altogether)

With also negated symbols (at natural size)

\documentclass{article}
\usepackage{amssymb,bm}

\DeclareFontFamily{U}{MnSymbolD}{}
\DeclareFontShape{U}{MnSymbolD}{m}{n}{
    <-6>  MnSymbolD5
   <6-7>  MnSymbolD6
   <7-8>  MnSymbolD7
   <8-9>  MnSymbolD8
   <9-10> MnSymbolD9
  <10-12> MnSymbolD10
  <12->   MnSymbolD12}{}
\DeclareFontShape{U}{MnSymbolD}{b}{n}{
    <-6>  MnSymbolD-Bold5
   <6-7>  MnSymbolD-Bold6
   <7-8>  MnSymbolD-Bold7
   <8-9>  MnSymbolD-Bold8
   <9-10> MnSymbolD-Bold9
  <10-12> MnSymbolD-Bold10
  <12->   MnSymbolD-Bold12}{}
\DeclareSymbolFont{MnSyD}{U}{MnSymbolD}{m}{n}
\SetSymbolFont{MnSyD}{bold}{U}{MnSymbolD}{b}{n}

\DeclareMathSymbol\prec{\mathrel}{MnSyD}{"68}
\DeclareMathSymbol\succ{\mathrel}{MnSyD}{"69}
\DeclareMathSymbol\preceq{\mathrel}{MnSyD}{"6A}
\DeclareMathSymbol\succeq{\mathrel}{MnSyD}{"6B}
\DeclareMathSymbol\preccurlyeq{\mathrel}{MnSyD}{"6C}
\DeclareMathSymbol\succcurlyeq{\mathrel}{MnSyD}{"6D}
\DeclareMathSymbol\precsim{\mathrel}{MnSyD}{"6E}
\DeclareMathSymbol\succsim{\mathrel}{MnSyD}{"6F}
\DeclareMathSymbol\precapprox{\mathrel}{MnSyD}{"70}
\DeclareMathSymbol\succapprox{\mathrel}{MnSyD}{"71}
\DeclareMathSymbol\nprec{\mathrel}{MnSyD}{"E0}
\DeclareMathSymbol\nsucc{\mathrel}{MnSyD}{"E1}
\DeclareMathSymbol\npreceq{\mathrel}{MnSyD}{"E2}
\DeclareMathSymbol\nsucceq{\mathrel}{MnSyD}{"E3}
\DeclareMathSymbol\npreccurlyeq{\mathrel}{MnSyD}{"E4}
\DeclareMathSymbol\nsucccurlyeq{\mathrel}{MnSyD}{"E5}
\DeclareMathSymbol\nprecsim{\mathrel}{MnSyD}{"E6}
\DeclareMathSymbol\nsuccsim{\mathrel}{MnSyD}{"E7}
\DeclareMathSymbol\nprecapprox{\mathrel}{MnSyD}{"E8}
\DeclareMathSymbol\nsuccapprox{\mathrel}{MnSyD}{"E9}

\begin{document}

$\prec\succ\preceq\succeq\preccurlyeq\succcurlyeq\precsim\succsim$
$<>$

$\nprec\nsucc\npreceq\nsucceq\npreccurlyeq\nsucccurlyeq\nprecsim\nsuccsim$

\mathversion{bold}

$\prec\succ\preceq\succeq\preccurlyeq\succcurlyeq\precsim\succsim$
$<>$

$\nprec\nsucc\npreceq\nsucceq\npreccurlyeq\nsucccurlyeq\nprecsim\nsuccsim$

\end{document}