Re: Lightning-Symbol in Contradiction-Proofs

[iustifico]

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

minimalexamplelightning.lyx
Description: Binary data

minimalexamplelightning.pdf

Description: Adobe PDF document

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