From 094190ca4664f6e5b3e5e5d827e16e3f6ed67191 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Andr=C3=A9=20P=C3=B6nitz?= Date: Mon, 9 Dec 2002 09:51:55 +0000 Subject: [PATCH] Support for \implies and \dots git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5795 a592a061-630c-0410-9148-cb99ea01b6c8 --- lib/ChangeLog | 7 ++++++- lib/symbols | 2 ++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/lib/ChangeLog b/lib/ChangeLog index 576536ad5a..66c459bcb5 100644 --- a/lib/ChangeLog +++ b/lib/ChangeLog @@ -1,4 +1,9 @@ -2002-12-04 Jean-Marc Lasgouttes + +2002-12-09 André Pönitz + + * symbols: support for \implies and \dots + +2002-12-04 Jean-Marc Lasgouttes * configure.m4: remove epsi format diff --git a/lib/symbols b/lib/symbols index 88f81f47ab..906f464dd6 100644 --- a/lib/symbols +++ b/lib/symbols @@ -30,6 +30,7 @@ widehat decoration none widetilde decoration none # dots +dots dots none cdots dots none ddots dots none dotsb dots none @@ -786,6 +787,7 @@ iffont cmsy \def\longleftarrow{\leftarrow\kern-9.5mu\lyxbar} \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow} \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq} +\def\implies{\Longrightarrow} \def\mapsto{\mapstochar\kern-9mu\rightarrow} \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-9.5mu\rightarrow} \def\models{\vert\kern-7mu\lyxeq} -- 2.39.2