X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=343fee12879b268bfe5618e11573085af4b0b080;hb=fb1e227a93a394bcc56be0edacd7001679b5044f;hp=024f8e56502d4b9df3863915f7e985bc2f3d947a;hpb=b23d2ad302101953f0f640444b52b10ff7e6577b;p=lyx.git diff --git a/lib/symbols b/lib/symbols index 024f8e5650..343fee1287 100644 --- a/lib/symbols +++ b/lib/symbols @@ -1,5 +1,138 @@ -# Generated from fontmath.ltx +# +# things supported by real insets in mathed +# + +# decorations +acute decoration none +bar decoration none +breve decoration none +check decoration none +dddot decoration none +ddot decoration none +dot decoration none +grave decoration none +hat decoration none +mathring decoration none +overbrace decoration none +overleftarrow decoration none +overleftrightarrow decoration none +overline decoration none +overrightarrow decoration none +tilde decoration none +underbar decoration none +underbrace decoration none +underleftarrow decoration none +underleftrightarrow decoration none +underline decoration none +underrightarrow decoration none +vec decoration none +widehat decoration none +widetilde decoration none + +# dots +dots dots none +cdots dots none +ddots dots none +dotsb dots none +dotsc dots none +dotsi dots none +dotsm dots none +dotso dots none +ldots dots none +vdots dots none + +# font changes +# name "font" math/text family series shape color +# mathnormal should stay the first +mathnormal font mathmode inherit medium up math +frak font mathmode +mathbb font mathmode +mathbf font mathmode +mathcal font mathmode +mathfrak font mathmode +mathit font mathmode +mathrm font mathmode +mathsf font mathmode +mathtt font mathmode +textnormal font textmode inherit medium up math +text font textmode +textbf font textmode +textipa font textmode +textit font textmode +textmd font textmode +textrm font textmode +textsc font textmode +textsl font textmode +textsf font textmode +texttt font textmode +textup font textmode +emph font textmode +noun font textmode + +# old-style font commands +bf oldfont none +cal oldfont none +it oldfont none +rm oldfont none +tt oldfont none + +# matrix environments +Bmatrix matrix none +Vmatrix matrix none +bmatrix matrix none +matrix matrix none +pmatrix matrix none +psmatrix matrix none +smallmatrix matrix none +vmatrix matrix none +CD matrix none + +# references +pageref ref none +prettyref ref none +ref ref none +vpageref ref none +vref ref none +# spaces +lyxnegspace space none +lyxposspace space none +! space none +negmedspace space none +negthickspace space none +, space none +: space none +; space none +quad space none +qquad space none + +# styles +displaystyle style 0 +textstyle style 1 +scriptstyle style 2 +scriptscriptstyle style 3 + +# misc +begin begin none +right right none +underset underset none +overset overset none +parbox parbox none +protect protect none +mbox mbox forcetext +newcommand newcommand none +label label none +left left none +end end none +fbox fbox none +boxed fbox none + + +# +# symbols generated from fontmath.ltx +# + +#symbol font charid charid-in-fallback-Xsymbol-font alpha cmm 174 97 mathord x beta cmm 175 98 mathord x gamma cmm 176 103 mathord x @@ -21,7 +154,7 @@ tau cmm 191 116 mathord x upsilon cmm 192 117 mathord x phi cmm 193 102 mathord x chi cmm 194 99 mathord x -psi cmm 32 121 mathord x +psi cmm 195 121 mathord x omega cmm 33 119 mathord x varepsilon cmm 34 101 mathord x vartheta cmm 35 74 mathord x @@ -58,6 +191,7 @@ triangle cmsy 52 0 mathord x forall cmsy 56 34 mathord x exists cmsy 57 36 mathord x neg cmsy 58 216 mathord x +lnot cmsy 58 216 mathord x flat cmm 91 0 mathord x natural cmm 92 0 mathord x sharp cmm 93 35 mathord x @@ -65,27 +199,37 @@ clubsuit cmsy 124 167 mathord x diamondsuit cmsy 125 168 mathord x heartsuit cmsy 126 169 mathord x spadesuit cmsy 127 170 mathord x -coprod cmex 96 0 mathop x -bigvee cmex 87 0 mathop x -bigwedge cmex 86 0 mathop x -biguplus cmex 85 0 mathop x -bigcap cmex 84 0 mathop x -bigcup cmex 83 0 mathop x -int cmex 82 242 mathop ∫ -prod cmex 81 213 mathop x -sum cmex 80 229 mathop x -bigotimes cmex 78 0 mathop x -bigoplus cmex 76 0 mathop x -bigodot cmex 74 0 mathop x -oint cmex 72 0 mathop x -bigsqcup cmex 70 0 mathop x -smallint cmsy 115 0 mathop x +# We define lyxnot as mathrel in order to have proper alignment +lyxnot cmsy 54 47 mathrel x +iffont cmsy +# 9mu = 0.5em which is the extra space added to relation operators +\def\not{\lyxnot\kern-9mu} +else +\def\not{\kern4mu\lyxnot\kern-19mu} +endif +coprod cmex 96 0 mathop x +bigvee cmex 87 0 mathop x +bigwedge cmex 86 0 mathop x +biguplus cmex 85 0 mathop x +bigcap cmex 84 0 mathop x +bigcup cmex 83 0 mathop x +int cmex 82 242 mathop ∫ +prod cmex 81 213 mathop x +sum cmex 80 229 mathop x +bigotimes cmex 78 0 mathop x +bigoplus cmex 76 0 mathop x +bigodot cmex 74 0 mathop x +oint cmex 72 0 mathop x +bigsqcup cmex 70 0 mathop x +smallint cmsy 115 0 mathop x triangleleft cmm 47 0 mathbin x triangleright cmm 46 0 mathbin x bigtriangleup cmsy 52 0 mathbin x bigtriangledown cmsy 53 0 mathbin x wedge cmsy 94 217 mathbin x +land cmsy 94 217 mathbin x vee cmsy 95 218 mathbin x +lor cmsy 95 218 mathbin x cap cmsy 92 199 mathbin x cup cmsy 91 200 mathbin x ddagger cmsy 122 0 mathbin x @@ -127,7 +271,9 @@ Leftrightarrow cmsy 44 219 mathrel x Leftarrow cmsy 40 220 mathrel x Rightarrow cmsy 41 222 mathrel x leq cmsy 183 163 mathrel x +le cmsy 183 163 mathrel x geq cmsy 184 179 mathrel x +ge cmsy 184 179 mathrel x succ cmsy 194 0 mathrel x prec cmsy 193 0 mathrel x approx cmsy 188 187 mathrel x @@ -139,11 +285,14 @@ supseteq cmsy 182 202 mathrel x subseteq cmsy 181 205 mathrel x in cmsy 50 206 mathrel x ni cmsy 51 39 mathrel x +owns cmsy 51 39 mathrel x gg cmsy 192 0 mathrel x ll cmsy 191 0 mathrel x leftrightarrow cmsy 36 171 mathrel x -leftarrow cmsy 32 172 mathrel x +leftarrow cmsy 195 172 mathrel x +gets cmsy 195 172 mathrel x rightarrow cmsy 33 174 mathrel x +to cmsy 33 174 mathrel x mapstochar cmsy 55 0 mathrel x sim cmsy 187 126 mathrel x simeq cmsy 39 0 mathrel x @@ -164,6 +313,7 @@ colon cmr 58 58 mathpunct x arrowvert cmsy 106 0 mathord x Arrowvert cmsy 107 0 mathord x Vert cmsy 107 0 mathord x +| cmsy 107 0 mathord x vert cmsy 106 0 mathord x uparrow cmsy 34 173 mathrel x downarrow cmsy 35 175 mathrel x @@ -183,9 +333,9 @@ lfloor cmsy 98 235 mathopen x mathparagraph cmsy 123 0 mathord x mathsection cmsy 120 0 mathord x mathdollar cmr 36 0 mathord x - -# Generated from amsfonts.sty - + +# Generated from amsfonts.sty + yen msa 85 0 mathord x checkmark msa 88 0 mathord x circledR msa 114 0 mathord x @@ -201,19 +351,22 @@ sqsubset msa 64 0 mathrel x sqsupset msa 65 0 mathrel x mho msb 102 0 mathord x square msa 164 0 mathord x +Box msa 164 0 mathord x lozenge msa 167 0 mathord x +Diamond msa 167 0 mathord x vartriangleright msa 66 0 mathrel x vartriangleleft msa 67 0 mathrel x trianglerighteq msa 68 0 mathrel x trianglelefteq msa 69 0 mathrel x -rightsquigarrow msa 32 0 mathrel x +rightsquigarrow msa 195 0 mathrel x +leadsto msa 195 0 mathrel x lhd msa 67 0 mathbin x unlhd msa 69 0 mathbin x rhd msa 66 0 mathbin x unrhd msa 68 0 mathbin x - -# Generated from amssymb.sty - + +# Generated from amssymb.sty + boxdot msa 161 0 mathbin x boxplus msa 162 0 mathbin x boxtimes msa 163 0 mathbin x @@ -234,6 +387,7 @@ rightrightarrows msa 182 0 mathrel x upuparrows msa 183 0 mathrel x downdownarrows msa 184 0 mathrel x upharpoonright msa 185 0 mathrel x +restriction msa 185 0 mathrel x downharpoonright msa 186 0 mathrel x upharpoonleft msa 187 0 mathrel x downharpoonleft msa 188 0 mathrel x @@ -254,6 +408,7 @@ multimap msa 40 0 mathrel x therefore msa 41 92 mathrel x because msa 42 0 mathrel x doteqdot msa 43 0 mathrel x +Doteq msa 43 0 mathrel x triangleq msa 44 0 mathrel x precsim msa 45 0 mathrel x lesssim msa 46 0 mathrel x @@ -299,7 +454,9 @@ smallfrown msa 97 0 mathrel x Subset msa 98 0 mathrel x Supset msa 99 0 mathrel x Cup msa 100 0 mathbin x +doublecup msa 100 0 mathbin x Cap msa 101 0 mathbin x +doublecap msa 101 0 mathbin x curlywedge msa 102 0 mathbin x curlyvee msa 103 0 mathbin x leftthreetimes msa 104 0 mathbin x @@ -309,7 +466,9 @@ supseteqq msa 107 0 mathrel x bumpeq msa 108 0 mathrel x Bumpeq msa 109 0 mathrel x lll msa 110 0 mathrel x +llltr msa 110 0 mathrel x ggg msa 111 0 mathrel x +gggtr msa 111 0 mathrel x circledS msa 115 0 mathord x pitchfork msa 116 0 mathrel x dotplus msa 117 0 mathbin x @@ -352,7 +511,7 @@ nsim msb 191 0 mathrel x ncong msb 192 0 mathrel x diagup msb 193 0 mathord x diagdown msb 194 0 mathord x -varsubsetneq msb 32 0 mathrel x +varsubsetneq msb 195 0 mathrel x varsupsetneq msb 33 0 mathrel x nsubseteqq msb 34 0 mathrel x nsupseteqq msb 35 0 mathrel x @@ -410,13 +569,9 @@ digamma msb 122 0 mathord x varkappa msb 123 0 mathord x Bbbk msb 124 0 mathord x hslash msb 125 0 mathord x +hbar msb 126 0 mathord x backepsilon msb 127 0 mathrel x - -neq x 0 185 mathrel x -textdegree x 0 176 mathord x -cong x 0 64 mathrel x -surd x 0 214 mathord x - + lyxbar cmsy 161 0 mathord x lyxeq cmr 61 0 mathord x lyxdabar msa 57 0 mathord x @@ -507,7 +662,7 @@ aries wasy 23 0 x x taurus wasy 93 0 x x gemini wasy 94 0 x x cancer wasy 95 0 x x -leo wasy 19 +leo wasy 19 0 x x virgo wasy 96 0 x x libra wasy 97 0 x x scorpio wasy 98 0 x x @@ -517,7 +672,7 @@ aquarius wasy 101 0 x x pisces wasy 102 0 x x conjunction wasy 86 0 x x opposition wasy 87 0 x x -% APL characters +# APL characters APLstar wasy 69 0 x x APLlog wasy 22 0 x x APLbox wasy 126 0 x x @@ -549,9 +704,9 @@ openo wasy 108 0 x x inve wasy 85 0 x x #mho wasy 48 0 mathord x -Join wasy 49 0 mathrel x -Box wasy 50 0 mathord x -Diamond wasy 51 0 mathord x +#Join wasy 49 0 mathrel x +#Box wasy 50 0 mathord x +#Diamond wasy 51 0 mathord x leadsto wasy 59 0 mathrel x #sqsubset wasy 60 0 mathrel x #sqsupset wasy 61 0 mathrel x @@ -606,11 +761,71 @@ exp lyxblacktext 0 0 func x Pr lyxblacktext 0 0 funclim x gcd lyxblacktext 0 0 funclim x deg lyxblacktext 0 0 func x +bmod lyxblacktext 0 0 func x { mathnormal 0 0 special x } mathnormal 0 0 special x $ mathnormal 0 0 special x % mathnormal 0 0 special x -# don't remove the space from the beginning of the next line +& mathnormal 0 0 special x +## don't remove the space from the beginning of the next line # mathnormal 0 0 special x + + +# +# pre-defined macros +# + +\def\neq{\not=} +\def\ne{\not=} +\def\notin{\not\in} +\def\slash{/} + +\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}{=}} + +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} +\def\mapsto{\mapstochar\kern-9mu\rightarrow} +\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow} +\def\models{\vert\kern-7mu\lyxeq} +endif +iffont cmm +\def\hookrightarrow{\lhook\kern-12mu\rightarrow} +\def\hookleftarrow{\leftarrow\kern-12mu\rhook} +\def\bowtie{\triangleright\kern-6mu\triangleleft} +endif +iffont msa +\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright} +\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar} +\def\dasharrow{\dashrightarrow} +endif +iffont msb +\def\Join{\ltimes\kern-18.5mu\rtimes} +endif +\def\mathcircumflex{\mbox{\^{}}}{\^} +# Fixme: latin-1 chars in text file +\def\AA{\AA}{Å} +\def\O{\O}{Ø} + +textdegree lyxsymbol 176 0 mathord x + +iffont cmsy +# The \sim is placed too high... +\def\cong{\stackrel{_\sim}{=}} +lyxsurd cmsy 112 0 mathord x +\def\surd{^\lyxsurd} +else +cong lyxsymbol 64 0 mathrel x +surd lyxsymbol 214 0 mathord x +endif + +#"{\hat{}} +