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