26 May 19:06 2010

## Lightning-Symbol in Contradiction-Proofs

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
26 May 19:31 2010

### Re: Lightning-Symbol in Contradiction-Proofs

iustifico <iustifico <at> gmail.com> writes:

>
> 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.
>

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

/Paul

26 May 20:31 2010

### Re: Lightning-Symbol in Contradiction-Proofs

Here is a minimal sample document with the appropriate pdf.
Regards,
iustifico
Attachment (minimalexamplelightning.lyx): application/octet-stream, 1004 bytes

Am 26.05.2010 um 19:31 schrieb Paul Rubin:

> iustifico <iustifico <at> gmail.com> writes:
>
>>
>> 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.
>>
>
> Which package are you loading to define \lightning?  Best thing might be to post
> a minimal sample document that shows the problem.
>
> /Paul
>
>

26 May 21:12 2010

### Re: Lightning-Symbol in Contradiction-Proofs

On 05/26/2010 02:31 PM, iustifico wrote:
> 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

27 May 00:23 2010

### Re: Lightning-Symbol in Contradiction-Proofs

It worked, thank you very much!
Regards,
iustifico

Am 26.05.2010 um 21:12 schrieb Paul A. Rubin:

> On 05/26/2010 02:31 PM, iustifico wrote:
>> 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

Gmane
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9782238006591797, "perplexity": 9224.631351166061}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-22/segments/1464049276964.77/warc/CC-MAIN-20160524002116-00078-ip-10-185-217-139.ec2.internal.warc.gz"}