X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=31ba7f0eb18dbcca076be334a35d6f5264e7ec60;hb=b474aa5d4d8437eef35c751c7cfb9b6a30e7ee97;hp=2b5aea2febda97964281a37cbf2358a8d72ff531;hpb=c1ac09e11fc127b61ecc91ac623791c571f48d34;p=lyx.git diff --git a/lib/symbols b/lib/symbols index 2b5aea2feb..31ba7f0eb1 100644 --- a/lib/symbols +++ b/lib/symbols @@ -11,6 +11,18 @@ # Note that the first argument of \def must not uses braces, and the second # must use braces. # +# syntax: Either +# \def\macroname{definition} +# or +# \def\macroname{definition} requires +# or +# \def\macroname{definition} extra xmlname +# or +# \def\macroname{definition} extra xmlname requires +# +# ("" for empty strings is not supported. One would have to use x for fields +# that are not set.) +# # If you put any symbol with a requirement inside an iffont clause, you # must put an alternative definition with the same requirement in the # corresponding else clause. Otherwise the LaTeX output would depend on the @@ -49,7 +61,7 @@ underrightarrow decoration none amsmath #Do not load automatically, it redefines some other symbols, and we don't #have a possibility to turn automatic loading off like for ams #undertilde decoration none accents -undertilde decoration none +undertilde decoration none hiddensymbol utilde decoration none undertilde vec decoration none widehat decoration none @@ -60,7 +72,7 @@ dots dots none #Do not load automatically, it redefines some other symbols, and we don't #have a possibility to turn automatic loading off like for ams #adots dots none yhmath -adots dots none +adots dots none hiddensymbol cdots dots none ddots dots none dotsb dots none amsmath @@ -93,12 +105,12 @@ Biggr big none # packages. No 'm' versions! # See lucidabr.dtx for a possible implementation if you want to use these # with other fonts. -biggg big none -bigggl big none -bigggr big none -Biggg big none -Bigggl big none -Bigggr big none +biggg big none hiddensymbol +bigggl big none hiddensymbol +bigggr big none hiddensymbol +Biggg big none hiddensymbol +Bigggl big none hiddensymbol +Bigggr big none hiddensymbol # font changes # name "font" math/text family series shape color @@ -133,11 +145,11 @@ ce font forcetext cf font forcetext # old-style font commands -bf oldfont none -cal oldfont none -it oldfont none -rm oldfont none -tt oldfont none +bf oldfont none hiddensymbol +cal oldfont none hiddensymbol +it oldfont none hiddensymbol +rm oldfont none hiddensymbol +tt oldfont none hiddensymbol # matrix environments Bmatrix matrix none @@ -188,10 +200,20 @@ hspace* space none hspace space none # styles -displaystyle style 0 -textstyle style 1 -scriptstyle style 2 -scriptscriptstyle style 3 +displaystyle style 3 +textstyle style 2 +scriptstyle style 1 +scriptscriptstyle style 0 + +# math classes +mathord class none +mathop class none +mathbin class none +mathrel class none +mathopen class none +mathclose class none +mathpunct class none +mathinner class none # misc # The commented lines in this block get misparsed as MathSymbolInset because @@ -251,6 +273,7 @@ varpi cmm 36 118 mathord ϖ varrho cmm 37 0 mathord ϱ varsigma cmm 38 86 mathord ς varphi cmm 39 106 mathord ϕ +slash cmr 47 47 mathord / Gamma cmr 161 71 mathalpha Γ Delta cmr 162 68 mathalpha Δ Theta cmr 163 81 mathalpha Θ @@ -261,14 +284,14 @@ Sigma cmr 167 83 mathalpha Σ Upsilon cmr 168 161 mathalpha ϒ Phi cmr 169 70 mathalpha Φ Psi cmr 170 89 mathalpha Ψ -Omega cmr 173 87 mathalpha Ω +Omega cmr 172 87 mathalpha Ω aleph cmsy 64 192 mathord ℵ imath cmm 123 0 mathord ı jmath cmm 124 0 mathord ȷ ell cmm 96 0 mathord ℓ wp cmm 125 195 mathord ℘ Re cmsy 60 194 mathord ℜ -Im cmsy 61 193 mathord ℑ +Im cmsy 61 193 mathord &imaginary; partial cmm 64 182 mathord ∂ infty cmsy 49 165 mathord ∞ prime cmsy 48 162 mathord ′ @@ -280,7 +303,6 @@ triangle cmsy 52 0 mathord ▵ forall cmsy 56 34 mathord ∀ exists cmsy 57 36 mathord ∃ neg cmsy 58 216 mathord ¬ -lnot cmsy 58 216 mathord ¬ flat cmm 91 0 mathord ♭ natural cmm 92 0 mathord ♮ sharp cmm 93 35 mathord ♯ @@ -289,10 +311,10 @@ diamondsuit cmsy 125 168 mathord ♢ heartsuit cmsy 126 169 mathord ♡ spadesuit cmsy 127 170 mathord ♠ # We define lyxnot as mathrel in order to have proper alignment -lyxnot cmsy 54 47 mathrel ∖ +lyxnot cmsy 54 47 mathrel / hiddensymbol iffont cmsy -# 9mu = 0.5em which is the extra space added to relation operators -\def\not{\lyxnot\kern-9mu} +# kerning is slightly imperfect so that one can see when \not is selected +\def\not{\lyxnot} else \def\not{\kern4mu\lyxnot\kern-19mu} endif @@ -331,7 +353,7 @@ wr cmsy 111 0 mathbin ≀ div cmsy 165 184 mathbin ÷ odot cmsy 175 0 mathbin ⊙ oslash cmsy 174 198 mathbin ø -otimes cmsy 173 196 mathbin ⊗ +otimes cmsy 172 196 mathbin ⊗ ominus cmsy 170 0 mathbin ⊖ oplus cmsy 169 197 mathbin ⊕ mp cmsy 168 0 mathbin ∓ @@ -348,6 +370,8 @@ sqsubseteq cmsy 118 0 mathrel ⊑ sqsupseteq cmsy 119 0 mathrel ⊒ parallel cmsy 107 0 mathrel ∥ mid cmsy 106 124 mathrel ∣ +lvert cmsy 106 124 mathrel &lvert; amsmath +rvert cmsy 106 124 mathrel &rvert; amsmath dashv cmsy 97 0 mathrel ⊣ vdash cmsy 96 0 mathrel ⊢ nearrow cmsy 37 0 mathrel ↗ @@ -357,9 +381,7 @@ swarrow cmsy 46 0 mathrel ↙ Leftrightarrow cmsy 44 219 mathrel ↔ Leftarrow cmsy 40 220 mathrel ⇐ Rightarrow cmsy 41 222 mathrel ⇒ -leq cmsy 183 163 mathrel ≤ le cmsy 183 163 mathrel ≤ -geq cmsy 184 179 mathrel ≥ ge cmsy 184 179 mathrel ≥ succ cmsy 194 0 mathrel ≻ prec cmsy 193 0 mathrel ≺ @@ -373,8 +395,8 @@ subseteq cmsy 181 205 mathrel ⊆ in cmsy 50 206 mathrel ∈ ni cmsy 51 39 mathrel ∋ owns cmsy 51 39 mathrel ∋ -gg cmsy 192 0 mathrel > -ll cmsy 191 0 mathrel < +gg cmsy 192 0 mathrel ≫ +ll cmsy 191 0 mathrel ≪ leftrightarrow cmsy 36 171 mathrel ↔ leftarrow cmsy 195 172 mathrel ← gets cmsy 195 172 mathrel ← @@ -400,6 +422,8 @@ colon cmr 58 58 mathpunct : arrowvert cmsy 106 0 mathord | Arrowvert cmsy 107 0 mathord ∥ Vert cmsy 107 0 mathord ∥ +lVert cmsy 107 0 mathord ∥ amsmath +rVert cmsy 107 0 mathord ∥ amsmath | cmsy 107 0 mathord | vert cmsy 106 0 mathord | uparrow cmsy 34 173 mathrel ↑ @@ -431,7 +455,7 @@ ulcorner msa 112 0 mathopen ⌜ urcorner msa 113 0 mathclose ⌝ llcorner msa 120 0 mathopen ⌞ lrcorner msa 121 0 mathclose ⌟ -rightleftharpoons msa 173 0 mathrel ⇋ +rightleftharpoons msa 172 0 mathrel ⇋ angle msa 92 208 mathord ∠ sqsubset msa 64 0 mathrel ⊏ sqsupset msa 65 0 mathrel ⊐ @@ -574,7 +598,7 @@ nprec msb 167 0 mathrel ⊀ nsucc msb 168 0 mathrel ⊁ lneqq msb 169 0 mathrel ≨ gneqq msb 170 0 mathrel ≩ -nleqslant msb 173 0 mathrel ⩽̸ +nleqslant msb 172 0 mathrel ⩽̸ ngeqslant msb 174 0 mathrel ⩾̸ lneq msb 175 0 mathrel ≰ gneq msb 176 0 mathrel ⪈ @@ -658,30 +682,35 @@ hslash msb 125 0 mathord ℏ hbar msb 126 0 mathord ℏ backepsilon msb 127 0 mathrel ϶ -lyxbar cmsy 161 0 mathord — -lyxeq cmr 61 0 mathord = -lyxdabar msa 57 0 mathord – -lyxright msa 75 0 mathord → -lyxleft msa 76 0 mathord ← +lyxbar cmsy 161 0 mathrel — hiddensymbol +lyxminus cmsy 161 0 mathbin — hiddensymbol +lyxplus cmr 43 43 mathbin + hiddensymbol +lyxeq cmr 61 61 mathord = hiddensymbol +lyxeqrel cmr 61 61 mathrel = hiddensymbol +lyxlt cmm 60 60 mathrel < hiddensymbol +lyxgt cmm 62 62 mathrel > hiddensymbol +lyxdabar msa 57 0 mathord – hiddensymbol +lyxright msa 75 0 mathord → hiddensymbol +lyxleft msa 76 0 mathord ← hiddensymbol male wasy 26 0 x ♂ female wasy 25 0 x ♀ -currency wasy 27 0 textmode ¤ wasysym # works in text mode only (produces \oe in math mode) -phone wasy 7 0 textmode ☎ wasysym # works in text mode only (produces \Upsilon in math mode) -recorder wasy 6 0 textmode ⌕ wasysym # works in text mode only (produces \Sigma in math mode) -clock wasy 28 0 textmode &clock; wasysym # works in text mode only (produces \o in math mode) -lightning wasy 18 0 x ☇ +currency wasy 27 0 textmode ¤ wasysym,amstext,lyxmathsym # works in text mode only (produces \oe in math mode) +phone wasy 7 0 textmode ☎ wasysym,amstext,lyxmathsym # works in text mode only (produces \Upsilon in math mode) +recorder wasy 6 0 textmode ⌕ wasysym,amstext,lyxmathsym # works in text mode only (produces \Sigma in math mode) +clock wasy 28 0 textmode &clock; wasysym,amstext,lyxmathsym # works in text mode only (produces \o in math mode) +lightning wasy 18 0 textmode ☇ wasysym,amstext,lyxmathsym # works in text mode only (produces ` in math mode) # FIXME Display is wrong (bug 8493): qt does not display characters at the \t position (0x09) -pointer wasy 9 0 textmode x wasysym # works in text mode only (produces \Psi in math mode) -RIGHTarrow wasy 17 0 textmode ▶ wasysym # works in text mode only (produces \jmath in math mode) -LEFTarrow wasy 16 0 textmode ◀ wasysym # works in text mode only (produces \imath in math mode) -UParrow wasy 75 0 textmode ▲ wasysym # works in text mode only (produces K in math mode) -DOWNarrow wasy 76 0 textmode ▼ wasysym # works in text mode only (produces L in math mode) -AC wasy 58 0 textmode x wasysym # works in text mode only +pointer wasy 9 0 textmode x wasysym,amstext,lyxmathsym # works in text mode only (produces \Psi in math mode) +RIGHTarrow wasy 17 0 textmode ▶ wasysym,amstext,lyxmathsym # works in text mode only (produces \jmath in math mode) +LEFTarrow wasy 16 0 textmode ◀ wasysym,amstext,lyxmathsym # works in text mode only (produces \imath in math mode) +UParrow wasy 75 0 textmode ▲ wasysym,amstext,lyxmathsym # works in text mode only (produces K in math mode) +DOWNarrow wasy 76 0 textmode ▼ wasysym,amstext,lyxmathsym # works in text mode only (produces L in math mode) +AC wasy 58 0 textmode ∿ wasysym,amstext,lyxmathsym # works in text mode only \def\HF{\approx} wasysym -VHF wasy 64 0 x x +VHF wasy 64 0 x ≋ # triple tilde Square wasy 50 0 x □ -\def\CheckedBox{\Square\kern-0.8em\checked} wasysym +\def\CheckedBox{\Square\kern-13.4mu\checked} wasysym XBox wasy 52 0 x ⊠ hexagon wasy 55 0 x ⬡ pentagon wasy 68 0 x ⬠ @@ -691,8 +720,7 @@ hexstar wasy 65 0 x ✶ varhexstar wasy 66 0 x ✶ davidsstar wasy 67 0 x ✡ diameter wasy 31 0 x ⌀ -# Unicode is wrong, but a true alternate doesn't seem available. -invdiameter wasy 21 0 x ⌀ +invdiameter wasy 21 0 x x # 2205 EMPTY SET and 2300 DIAMETER SIGN are similar but not quite right varangle wasy 30 0 x ∢ wasylozenge wasy 53 0 x ⌑ kreuz wasy 54 0 x ✠ @@ -716,8 +744,8 @@ Leftcircle wasy 73 0 x x LEFTCIRCLE wasy 71 0 x ◖ Rightcircle wasy 74 0 x x RIGHTCIRCLE wasy 72 0 x ◗ -\def\LEFTcircle{\LEFTCIRCLE\kern-1em\Circle} wasysym -\def\RIGHTcircle{\RIGHTCIRCLE\kern-1em\Circle} wasysym +\def\LEFTcircle{\LEFTCIRCLE\kern-13.4mu\Circle} wasysym +\def\RIGHTcircle{\RIGHTCIRCLE\kern-13.4mu\Circle} wasysym # Defined by amsmath.sty @@ -731,7 +759,7 @@ varSigma cmm 167 0 mathord x amsmath varUpsilon cmm 168 0 mathord x amsmath varPhi cmm 169 0 mathord x amsmath varPsi cmm 170 0 mathord x amsmath -varOmega cmm 173 0 mathord x amsmath +varOmega cmm 172 0 mathord x amsmath # # wasy astronomy @@ -770,8 +798,8 @@ sagittarius wasy 99 0 x ♐ capricornus wasy 100 0 x ♑ aquarius wasy 101 0 x ♒ pisces wasy 102 0 x ♓ -conjunction wasy 86 0 textmode ☌ wasysym # works in text mode only (produces V in math mode) -opposition wasy 87 0 textmode ☍ wasysym # works in text mode only (produces W in math mode) +conjunction wasy 86 0 textmode ☌ wasysym,amstext,lyxmathsym # works in text mode only (produces V in math mode) +opposition wasy 87 0 textmode ☍ wasysym,amstext,lyxmathsym # works in text mode only (produces W in math mode) # APL characters APLstar wasy 69 0 x ⍟ APLlog wasy 22 0 x x @@ -780,7 +808,7 @@ APLup wasy 0 0 x x APLdown wasy 70 0 x x APLinput wasy 125 0 x x APLcomment wasy 127 0 x x -\def\APLinv{\div\kern-17mu\APLbox} wasysym +\def\APLinv{\mathord{\div\kern-13.9mu\APLbox}} wasysym APLuparrowbox wasy 110 0 x ⍐ APLdownarrowbox wasy 111 0 x ⍗ APLleftarrowbox wasy 112 0 x ⍇ @@ -791,19 +819,19 @@ Bowtie wasy 49 0 x ⋈ leftturn wasy 34 0 x ⟲ rightturn wasy 33 0 x ⟳ # diagrams -\def\photon{\AC\kern-3mu\AC\kern-3mu\AC\kern-3mu\AC} wasysym -lyxgluonelement wasy 80 0 x x notexisting -lyxgluonbelement wasy 81 0 x x notexisting -lyxgluoneelement wasy 82 0 x x notexisting -\def\gluon{\lyxgluonbelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluoneelement} wasysym +\def\photon{\AC\AC\AC\AC} wasysym +lyxgluonelement wasy 80 0 x x hiddensymbol +lyxgluonbelement wasy 81 0 x x hiddensymbol +lyxgluoneelement wasy 82 0 x x hiddensymbol +\def\gluon{\lyxgluonbelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluoneelement} wasysym # special characters cent wasy 103 0 x �A2; permil wasy 104 0 x ‰ -agemO wasy 48 0 textmode ℧ wasysym # works in text mode only (produces 0 in math mode) -thorn wasy 105 0 textmode þ wasysym # works in text mode only (produces i in math mode) -Thorn wasy 106 0 textmode Þ wasysym # works in text mode only (produces j in math mode) -openo wasy 108 0 textmode ɔ wasysym # works in text mode only (produces l in math mode) -inve wasy 85 0 textmode ə wasysym # works in text mode only (produces U in math mode) +agemO wasy 48 0 textmode ℧ wasysym,amstext,lyxmathsym # works in text mode only (produces 0 in math mode) +thorn wasy 105 0 textmode þ wasysym,amstext,lyxmathsym # works in text mode only (produces i in math mode) +Thorn wasy 106 0 textmode Þ wasysym,amstext,lyxmathsym # works in text mode only (produces j in math mode) +openo wasy 108 0 textmode ɔ wasysym,amstext,lyxmathsym # works in text mode only (produces l in math mode) +inve wasy 85 0 textmode ə wasysym,amstext,lyxmathsym # works in text mode only (produces U in math mode) #mho wasy 48 0 mathord ℧ wasysym # already in amsfonts #Join wasy 49 0 mathrel x wasysym # already in amsfonts @@ -920,8 +948,8 @@ llfloor stmry 84 0 mathopen x stmaryrd rrfloor stmry 85 0 mathclose x stmaryrd llceil stmry 86 0 mathopen x stmaryrd rrceil stmry 87 0 mathclose x stmaryrd -arrownot stmry 88 0 mathrel x stmaryrd -Arrownot stmry 89 0 mathrel x stmaryrd +lyxarrownot stmry 88 0 mathrel x hiddensymbol #see arrownot defined below +lyxArrownot stmry 89 0 mathrel x hiddensymbol #see Arrownot defined below Mapstochar stmry 90 0 mathrel x stmaryrd mapsfromchar stmry 91 0 mathrel x stmaryrd Mapsfromchar stmry 92 0 mathrel x stmaryrd @@ -961,15 +989,18 @@ bignplus stmry 112 0 mathop x stmaryrd # caution: named hugenpl #Largerrbracketbot stmry 126 0 mathclose x stmaryrd # only in the font, not the .sty caution: named Hugerrbracketbot in the font #rrbracketex stmry 127 0 mathclose x stmaryrd # only in the font, not the .sty caution: named Hugerrbracketex in the font -\def\varcopyright{c\kern-14mu\varbigcirc} stmaryrd -\def\longarrownot{\kern5.5mu\arrownot\kern-5.5mu} stmaryrd -\def\Longarrownot{\kern5.5mu\Arrownot\kern-5.5mu} stmaryrd -\def\Mapsto{\Mapstochar\kern-9mu\Rightarrow} stmaryrd -\def\mapsfrom{\leftarrow\kern-9mu\mapsfromchar} stmaryrd -\def\Mapsfrom{\Leftarrow\kern-9mu\Mapsfromchar} stmaryrd -\def\Longmapsto{\Mapstochar\kern-7mu\Longrightarrow} stmaryrd -\def\longmapsfrom{\longleftarrow\kern-7mu\mapsfromchar} stmaryrd -\def\Longmapsfrom{\Longleftarrow\kern-7mu\Mapsfromchar} stmaryrd +\def\varcopyright{\mathord{c\kern-11mu\varbigcirc}} stmaryrd +# kerning is slightly imperfect so that one sees when \[Aa]rrownot is selected +\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\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 +\def\longmapsfrom{\longleftarrow\mapsfromchar} mathrel ⟻ stmaryrd +\def\Longmapsfrom{\Longleftarrow\mathrel{\kern1mu}\Mapsfromchar} mathrel ⟽ stmaryrd # symbols from the mhchem package, all of them are equivalent to a math symbol # mhchem is not loaded because these commands can only be used inside @@ -991,7 +1022,7 @@ tbond cmsy 180 186 mathord x # If the wasysym integrals are really wanted then one has to load the package # manually and disable automatic loading of amsmath and esint. iffont esint -int esint 001 0 mathop ∫ esint +int esint 001 0 mathop ∫ esint|amsmath intop esint 001 0 mathop ∫ esint iint esint 003 0 mathop ∬ esint|amsmath iintop esint 003 0 mathop ∬ esint @@ -1017,7 +1048,7 @@ ointctrclockwiseop esint 023 0 mathop ∳ esint ointclockwise esint 025 0 mathop ∲ esint ointclockwiseop esint 025 0 mathop ∲ esint else -int cmex 82 242 mathop ∫ esint +int cmex 82 242 mathop ∫ esint|amsmath intop cmex 82 242 mathop ∫ esint iint wasy 115 0 mathop ∬ esint|amsmath iintop wasy 115 0 mathop &Int esint @@ -1100,84 +1131,89 @@ pod lyxblacktext 0 0 func x amsmath # mathtools.sty -\def\vcentcolon{\kern4mu:\kern3mu} mathtools -\def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathtools -\def\coloneqq{\vcentcolon\kern-7mu=} mathtools -\def\Coloneqq{\dblcolon\kern-7mu=} mathtools -\def\coloneq{\vcentcolon\kern-7mu-} mathtools -\def\Coloneq{\dblcolon\kern-7mu-} mathtools -\def\eqqcolon{=\kern-8mu\vcentcolon} mathtools -\def\Eqqcolon{=\kern-8mu\dblcolon} mathtools -\def\eqcolon{-\kern-8mu\vcentcolon} mathtools -\def\Eqcolon{-\kern-8mu\dblcolon} mathtools -\def\colonapprox{\vcentcolon\kern-7mu\approx} mathtools -\def\Colonapprox{\dblcolon\kern-7mu\approx} mathtools -\def\colonsim{\vcentcolon\kern-7mu\sim} mathtools -\def\Colonsim{\dblcolon\kern-7mu\sim} mathtools +vcentcolon cmr 58 58 mathrel : mathtools +ordinarycolon cmr 58 58 mathrel : mathtools +\def\dblcolon{\vcentcolon\mathrel{\kern-0.9mu}\vcentcolon} mathrel :: mathtools +\def\coloneqq{\vcentcolon\mathrel{\kern-1.2mu}=} mathrel ≔ mathtools +\def\Coloneqq{\dblcolon\mathrel{\kern-1.2mu}=} mathrel ::= mathtools +\def\coloneq{\vcentcolon\mathrel{\kern-1.2mu}\mathrel{-}} mathrel :- mathtools +\def\Coloneq{\dblcolon\mathrel{\kern-1.2mu}\mathrel{-}} mathrel ::- mathtools +\def\eqqcolon{=\mathrel{\kern-1.2mu}\vcentcolon} mathrel ≕ mathtools +\def\Eqqcolon{=\mathrel{\kern-1.2mu}\dblcolon} mathrel =:: mathtools +\def\eqcolon{\mathrel{-}\mathrel{\kern-1.2mu}\vcentcolon} mathrel -: mathtools +\def\Eqcolon{\mathrel{-}\mathrel{\kern-1.2mu}\dblcolon} mathrel -:: mathtools +\def\colonapprox{\vcentcolon\mathrel{\kern-1.2mu}\approx} mathrel :≈ mathtools +\def\Colonapprox{\dblcolon\mathrel{\kern-1.2mu}\approx} mathrel ::≈ mathtools +\def\colonsim{\vcentcolon\mathrel{\kern-1.2mu}\sim} mathrel :∼ mathtools +\def\Colonsim{\dblcolon\mathrel{\kern-1.2mu}\sim} mathrel ::∼ mathtools # # pre-defined macros # -\def\neq{\not=} -\def\ne{\not=} -\def\notin{\not\in} -\def\slash{/} +\def\leq{\le} mathrel ≤ +\def\geq{\ge} mathrel ≥ +\def\neq{\not=} mathrel ≠ +\def\ne{\not=} mathrel ≠ +\def\lnot{\neg} mathord ¬ +\def\notin{\not\in} mathrel ∉ -\def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow} -\def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow} -\def\iff{\Leftarrow\kern-12.5mu\Rightarrow} -\def\doteq{\stackrel{\cdot}{=}} +\def\joinrel{\mathrel{\kern-3mu}} +\def\relbar{\lyxbar} +\def\Relbar{\mathrel{=}} +\def\longleftrightarrow{\leftarrow\joinrel\rightarrow} mathrel ⟷ +\def\Longleftrightarrow{\Leftarrow\joinrel\Rightarrow} mathrel ⟺ +\def\iff{\Leftarrow\joinrel\Rightarrow} mathrel ⟺ +\def\doteq{\stackrel{\cdot}{=}} mathrel ≐ iffont cmsy -\def\longrightarrow{\lyxbar\kern-11mu\rightarrow} -\def\longleftarrow{\leftarrow\kern-11mu\lyxbar} -\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow} -\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq} -\def\implies{\Longrightarrow} amsmath -\def\impliedby{\Longleftarrow} amsmath -\def\mapsto{\mapstochar\kern-9mu\rightarrow} -\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow} -\def\models{\vert\kern-7mu\lyxeq} +\def\longrightarrow{\relbar\joinrel\rightarrow} mathrel ⟶ +\def\longleftarrow{\leftarrow\joinrel\relbar} mathrel ⟵ +\def\Longrightarrow{\Relbar\joinrel\Rightarrow} mathrel ⟹ +\def\Longleftarrow{\Leftarrow\joinrel\Relbar} mathrel ⟸ +\def\implies{\Longrightarrow} mathrel ⟹ amsmath +\def\impliedby{\Longleftarrow} mathrel ⟸ amsmath +\def\mapsto{\mapstochar\rightarrow} mathrel ↤ +\def\longmapsto{\mapstochar\joinrel\relbar\joinrel\rightarrow} mathrel ⟻ +\def\models{\mathrel{\vert}\joinrel\Relbar} mathrel ⊨ else -\def\implies{=>} amsmath -\def\impliedby{<=} amsmath +\def\implies{=>} mathrel ⟹ amsmath +\def\impliedby{<=} mathrel ⟸ amsmath endif iffont cmm -\def\hookrightarrow{\lhook\kern-12mu\rightarrow} -\def\hookleftarrow{\leftarrow\kern-12mu\rhook} -\def\bowtie{\triangleright\kern-6mu\triangleleft} +\def\hookrightarrow{\lhook\joinrel\rightarrow} mathrel ↪ +\def\hookleftarrow{\leftarrow\joinrel\rhook} mathrel ↩ +\def\bowtie{\mathrel\triangleright\joinrel\mathrel\triangleleft} mathrel ⋈ endif iffont msa -\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright} amssymb -\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar} amssymb +\def\dashrightarrow{\mathrel{\lyxdabar\lyxdabar\lyxright}} mathrel ⤏ amssymb +\def\dashleftarrow{\mathrel{\lyxleft\lyxdabar\lyxdabar}} mathrel ⤎ amssymb else -\def\dashrightarrow{- - \rightarrow} amssymb -\def\dashleftarrow{\leftarrow{} - -} amssymb +\def\dashrightarrow{- - \rightarrow} mathrel ⤏ amssymb +\def\dashleftarrow{\leftarrow{} - -} mathrel ⤎ amssymb endif -\def\dasharrow{\dashrightarrow} amssymb +\def\dasharrow{\dashrightarrow} mathrel ⤏ amssymb iffont msb -\def\Join{\ltimes\kern-18.5mu\rtimes} amssymb +\def\Join{\mathrel{\ltimes\kern-13.5mu\rtimes}} mathrel ⨝ amssymb else -\def\Join{|x|} amssymb +\def\Join{|x|} mathrel ⨝ amssymb endif -# Fixme: latin-1 chars in text file -\def\AA{\AA}{Å} -\def\O{\O}{Ø} +\def\AA{\AA}{\text{Å}} textmode Å amstext,lyxmathsym +\def\O{\O}{\text{Ø}} textmode Ø amstext,lyxmathsym iffont cmsy # The \sim is placed too high... -\def\cong{\stackrel{_\sim}{=}} +\def\cong{\stackrel{\sim}{=}} mathrel ≅ lyxsurd cmsy 112 0 mathord √ -\def\surd{^\lyxsurd} -\def\textdegree{\kern-1mu^{\circ}\kern-4mu} +\def\surd{^\lyxsurd} mathord √ +\def\textdegree{\text{°}} textmode ° textcomp,amstext,lyxmathsym else # FIXME: These don't work on OS X, since the Symbol font uses a different # encoding and is therefore disabled in FontLoader::available(). cong lyxsymbol 64 0 mathrel ≅ surd lyxsymbol 214 0 mathord √ -textdegree lyxsymbol 176 0 mathord ° +textdegree lyxsymbol 176 0 mathord ° textcomp,amstext,lyxmathsym endif #"{\hat{}}