RE: Centering in uncover environment in Beamer

2017-01-08 Thread Shieh, Sanford
Great, works fine. Thanks. Sanford Shieh Associate Professor Department of Philosophy Wesleyan University 350 High Street Middletown, CT 06459 USA +1 (860) 685-3646 (office) +1 (860) 685-3861 (fax) > Follow me on

Re: No implication symbol

2017-01-08 Thread Paul A. Rubin
On 01/08/2017 02:02 PM, Guillaume Munch wrote: Le 08/01/2017 à 18:35, Paul A. Rubin a écrit : I just encountered something goofy, and I'm not sure if it's a LyX bug or something odd about what's installed on my system. When I try to compile the attached document (LyX 2.2.2, Linux Mint 18.1,

Re: No implication symbol

2017-01-08 Thread Guillaume Munch
Le 08/01/2017 à 18:35, Paul A. Rubin a écrit : I just encountered something goofy, and I'm not sure if it's a LyX bug or something odd about what's installed on my system. When I try to compile the attached document (LyX 2.2.2, Linux Mint 18.1, TeXLive) I'm told that \implies is an undefined

Re: No implication symbol

2017-01-08 Thread Bjarnþór G Kolbeins
I get the same error on mac os x 10.11.6 using this document. but $a\Longrightarrow b$ gives the wanted symbol Bjarnþór > On 8. jan. 2017, at 17:35, Paul A. Rubin wrote: > > I just encountered something goofy, and I'm not sure if it's a LyX bug or > something odd about

No implication symbol

2017-01-08 Thread Paul A. Rubin
I just encountered something goofy, and I'm not sure if it's a LyX bug or something odd about what's installed on my system. When I try to compile the attached document (LyX 2.2.2, Linux Mint 18.1, TeXLive) I'm told that \implies is an undefined control sequence. Looking at the source window,