On Wed, Jan 17, 2018 at 8:48 AM, Patrick Dupre <pdu...@gmx.com> wrote:
> The problem is that you can use the package
> bbold (usepackake{}) which provides different different
> characters.
> Then the displayed characters are different from the printed one (with
> pdflatex).
>
An earlier related discussion that may be of interest:
https://www.mail-archive.com/lyx-users@lists.lyx.org/msg105030.html
