X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=5e20c9a596d592e5f65fc7889358176ce67dd4dd;hb=209bbab00bd73d256e053c79d19641616c42f1e3;hp=e1542ceebc4c9ec0599f324339823cc63479a08e;hpb=c2f54cd89142223cd7b11b804b63e1062a8bc3bc;p=lyx.git

diff --git a/lib/symbols b/lib/symbols
index e1542ceebc..5e20c9a596 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -894,7 +894,7 @@ iffont cmsy
 \def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
 \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
 \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
-\def\implies{\Longrightarrow}
+\def\implies{\Longrightarrow}                                     amsmath
 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
 \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
 \def\models{\vert\kern-7mu\lyxeq}