X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=31ba7f0eb18dbcca076be334a35d6f5264e7ec60;hb=0984e113171297e402c88ce048e9ccf1fb3d3619;hp=82a6d132d54c107afdcecbc16647cce5a5c8f1a5;hpb=f77e5733cf1571e5a8ace32546f0ff74b0a7275c;p=lyx.git diff --git a/lib/symbols b/lib/symbols index 82a6d132d5..31ba7f0eb1 100644 --- a/lib/symbols +++ b/lib/symbols @@ -314,7 +314,7 @@ spadesuit cmsy 127 170 mathord ♠ lyxnot cmsy 54 47 mathrel / hiddensymbol iffont cmsy # kerning is slightly imperfect so that one can see when \not is selected -\def\not{\lyxnot\mathrel{\kern-11mu}} +\def\not{\lyxnot} else \def\not{\kern4mu\lyxnot\kern-19mu} endif @@ -991,11 +991,11 @@ bignplus stmry 112 0 mathop x stmaryrd # caution: named hugenpl \def\varcopyright{\mathord{c\kern-11mu\varbigcirc}} stmaryrd # kerning is slightly imperfect so that one sees when \[Aa]rrownot is selected -\def\arrownot{\lyxarrownot\mathrel{\kern-11mu}} stmaryrd -\def\Arrownot{\lyxArrownot\mathrel{\kern-10.5mu}} stmaryrd +\def\arrownot{\lyxarrownot} stmaryrd +\def\Arrownot{\lyxArrownot\mathrel{\kern0.5mu}} stmaryrd \def\longarrownot{\mathrel{\kern5.5mu}\arrownot\mathrel{\kern-5.5mu}} stmaryrd \def\Longarrownot{\mathrel{\kern5.5mu}\Arrownot\mathrel{\kern-5.5mu}} stmaryrd -\def\Mapsto{\Mapstochar\mathrel{\kern-2mu}\Rightarrow} mathrel ⤇ stmaryrd +\def\Mapsto{\Mapstochar\mathrel\Rightarrow} mathrel ⤇ stmaryrd \def\mapsfrom{\leftarrow\kern-9mu\mapsfromchar} mathrel ↤ stmaryrd \def\Mapsfrom{\Leftarrow\kern-9mu\Mapsfromchar} mathrel ⤆ stmaryrd \def\Longmapsto{\Mapstochar\Longrightarrow} mathrel ⟾ stmaryrd @@ -1174,7 +1174,7 @@ iffont cmsy \def\Longleftarrow{\Leftarrow\joinrel\Relbar} mathrel ⟸ \def\implies{\Longrightarrow} mathrel ⟹ amsmath \def\impliedby{\Longleftarrow} mathrel ⟸ amsmath -\def\mapsto{\mapstochar\mathrel{\kern-2mu}\rightarrow} mathrel ↤ +\def\mapsto{\mapstochar\rightarrow} mathrel ↤ \def\longmapsto{\mapstochar\joinrel\relbar\joinrel\rightarrow} mathrel ⟻ \def\models{\mathrel{\vert}\joinrel\Relbar} mathrel ⊨ else