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