Lightning-Symbol in Contradiction-Proofs

[iustifico]

How do I manage to put a "lightning" in the end of my proofs-of-contradiction?
If I use \lightning the symbol doesn't show up entirely. Only a small "apostroph" appears. And in the exported PDF it's the same.

Regards,
iustifico

[Paul Rubin]

Post by iustifico
How do I manage to put a "lightning" in the end of my proofs-of-contradiction?
If I use \lightning the symbol doesn't show up entirely. Only a small

"apostroph" appears. And in the

Post by iustifico
exported PDF it's the same.

Which package are you loading to define \lightning? Best thing might be to post
a minimal sample document that shows the problem.

/Paul

[iustifico]

Here is a minimal sample document with the appropriate pdf.
Regards,
iustifico

[Paul A. Rubin]

Post by iustifico
Here is a minimal sample document with the appropriate pdf.
Regards,
iustifico

You need to load, in the preamble, a package that defines the symbol.
\usepackage{stmaryrd} works for me; \usepackage{MnSymbol} should also
work (I couldn't test it because I don't have that package installed).
You can also use \usepackage{wasysym} and put \lightning in ERT rather
than in a math inset.

I can see where this would be a bit confusing, since in a math inset LyX
recognizes the macro and displays the correct screen glyph. If you put
\lightning in ERT and do not load a valid package, LaTeX complains about
an undefined macro, but in a math inset it apparently recognizes the
macro but maps it to the wrong glyph.

/Paul

[iustifico]

It worked, thank you very much!
Regards,
iustifico

Post by iustifico
Here is a minimal sample document with the appropriate pdf.
Regards,
iustifico

You need to load, in the preamble, a package that defines the symbol. \usepackage{stmaryrd} works for me; \usepackage{MnSymbol} should also work (I couldn't test it because I don't have that package installed). You can also use \usepackage{wasysym} and put \lightning in ERT rather than in a math inset.
I can see where this would be a bit confusing, since in a math inset LyX recognizes the macro and displays the correct screen glyph. If you put \lightning in ERT and do not load a valid package, LaTeX complains about an undefined macro, but in a math inset it apparently recognizes the macro but maps it to the wrong glyph.
/Paul