How about if we write a script to do some of this and stop doing it

manually? Done. Now back to manual.


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@32857 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Richard Heck 2010-01-07 19:27:45 +00:00
parent 4c1ada1a10
commit e674f6bdc6

View File

@ -346,7 +346,7 @@ sim cmsy 187 126 mathrel ∼
simeq cmsy 39 0 mathrel ≃ simeq cmsy 39 0 mathrel ≃
perp cmsy 63 0 mathrel ⊥ perp cmsy 63 0 mathrel ⊥
equiv cmsy 180 186 mathrel ≡ equiv cmsy 180 186 mathrel ≡
asymp cmsy 179 0 mathrel x asymp cmsy 179 0 mathrel ≈
smile cmm 94 0 mathrel ⌣ smile cmm 94 0 mathrel ⌣
frown cmm 95 0 mathrel ⌢ frown cmm 95 0 mathrel ⌢
leftharpoonup cmm 40 0 mathrel ↼ leftharpoonup cmm 40 0 mathrel ↼
@ -462,164 +462,164 @@ triangleq msa 44 0 mathrel ≜
precsim msa 45 0 mathrel ≾ precsim msa 45 0 mathrel ≾
lesssim msa 46 0 mathrel ≲ lesssim msa 46 0 mathrel ≲
lessapprox msa 47 0 mathrel ⪅ lessapprox msa 47 0 mathrel ⪅
eqslantless msa 48 0 mathrel x eqslantless msa 48 0 mathrel ⪕
eqslantgtr msa 49 0 mathrel x eqslantgtr msa 49 0 mathrel ⪖
curlyeqprec msa 50 0 mathrel x curlyeqprec msa 50 0 mathrel ⋞
curlyeqsucc msa 51 0 mathrel x curlyeqsucc msa 51 0 mathrel ⋟
preccurlyeq msa 52 0 mathrel x preccurlyeq msa 52 0 mathrel ≼
leqq msa 53 0 mathrel x leqq msa 53 0 mathrel ≦
leqslant msa 54 0 mathrel x leqslant msa 54 0 mathrel ⩽
lessgtr msa 55 0 mathrel x lessgtr msa 55 0 mathrel ≶
backprime msa 56 0 mathord x backprime msa 56 0 mathord ‵
risingdotseq msa 58 0 mathrel x risingdotseq msa 58 0 mathrel ≓
fallingdotseq msa 59 0 mathrel x fallingdotseq msa 59 0 mathrel ≒
succcurlyeq msa 60 0 mathrel x succcurlyeq msa 60 0 mathrel ≽
geqq msa 61 0 mathrel x geqq msa 61 0 mathrel ≧
geqslant msa 62 0 mathrel x geqslant msa 62 0 mathrel ⩾
gtrless msa 63 0 mathrel x gtrless msa 63 0 mathrel ≷
bigstar msa 70 0 mathord x bigstar msa 70 0 mathord ★
between msa 71 0 mathrel x between msa 71 0 mathrel ≬
blacktriangledown msa 72 0 mathord x blacktriangledown msa 72 0 mathord ▾
blacktriangleright msa 73 0 mathrel x blacktriangleright msa 73 0 mathrel ▸
blacktriangleleft msa 74 0 mathrel x blacktriangleleft msa 74 0 mathrel ◂
vartriangle msa 77 0 mathrel x vartriangle msa 77 0 mathrel x
blacktriangle msa 78 0 mathord x blacktriangle msa 78 0 mathord ▴
triangledown msa 79 0 mathord x triangledown msa 79 0 mathord ▿
eqcirc msa 80 0 mathrel x eqcirc msa 80 0 mathrel ≖
lesseqgtr msa 81 0 mathrel x lesseqgtr msa 81 0 mathrel ⋚
gtreqless msa 82 0 mathrel x gtreqless msa 82 0 mathrel ⋛
lesseqqgtr msa 83 0 mathrel x lesseqqgtr msa 83 0 mathrel ⪋
gtreqqless msa 84 0 mathrel x gtreqqless msa 84 0 mathrel ⪌
Rrightarrow msa 86 0 mathrel x Rrightarrow msa 86 0 mathrel ⇛
Lleftarrow msa 87 0 mathrel x Lleftarrow msa 87 0 mathrel ⇚
veebar msa 89 0 mathbin x veebar msa 89 0 mathbin ⊻
barwedge msa 90 0 mathbin x barwedge msa 90 0 mathbin ⌅
doublebarwedge msa 91 0 mathbin x doublebarwedge msa 91 0 mathbin ⌆
measuredangle msa 93 0 mathord x measuredangle msa 93 0 mathord ∡
sphericalangle msa 94 0 mathord x sphericalangle msa 94 0 mathord ∢
varpropto msa 95 0 mathrel x varpropto msa 95 0 mathrel ∝
smallsmile msa 96 0 mathrel x smallsmile msa 96 0 mathrel ⌣
smallfrown msa 97 0 mathrel x smallfrown msa 97 0 mathrel ⌢
Subset msa 98 0 mathrel x Subset msa 98 0 mathrel ⋐
Supset msa 99 0 mathrel x Supset msa 99 0 mathrel ⋑
Cup msa 100 0 mathbin x Cup msa 100 0 mathbin x
doublecup msa 100 0 mathbin x doublecup msa 100 0 mathbin ⋓
Cap msa 101 0 mathbin x Cap msa 101 0 mathbin x
doublecap msa 101 0 mathbin x doublecap msa 101 0 mathbin ⋒
curlywedge msa 102 0 mathbin x curlywedge msa 102 0 mathbin ⋏
curlyvee msa 103 0 mathbin x curlyvee msa 103 0 mathbin ⋎
leftthreetimes msa 104 0 mathbin x leftthreetimes msa 104 0 mathbin ⋋
rightthreetimes msa 105 0 mathbin x rightthreetimes msa 105 0 mathbin ⋌
subseteqq msa 106 0 mathrel x subseteqq msa 106 0 mathrel ⫅
supseteqq msa 107 0 mathrel x supseteqq msa 107 0 mathrel ⫆
bumpeq msa 108 0 mathrel x bumpeq msa 108 0 mathrel ≏
Bumpeq msa 109 0 mathrel x Bumpeq msa 109 0 mathrel ≎
lll msa 110 0 mathrel x lll msa 110 0 mathrel x
llltr msa 110 0 mathrel x llltr msa 110 0 mathrel x
ggg msa 111 0 mathrel x ggg msa 111 0 mathrel x
gggtr msa 111 0 mathrel x gggtr msa 111 0 mathrel ⋙
circledS msa 115 0 mathord x circledS msa 115 0 mathord Ⓢ
pitchfork msa 116 0 mathrel x pitchfork msa 116 0 mathrel ⋔
dotplus msa 117 0 mathbin x dotplus msa 117 0 mathbin ∔
backsim msa 118 0 mathrel x backsim msa 118 0 mathrel ∽
backsimeq msa 119 0 mathrel x backsimeq msa 119 0 mathrel ⋍
complement msa 123 0 mathord x complement msa 123 0 mathord ∁
intercal msa 124 0 mathbin x intercal msa 124 0 mathbin ⊺
circledcirc msa 125 0 mathbin x circledcirc msa 125 0 mathbin ⊚
circledast msa 126 0 mathbin x circledast msa 126 0 mathbin ⊛
circleddash msa 127 0 mathbin x circleddash msa 127 0 mathbin ⊝
lvertneqq msb 161 0 mathrel x lvertneqq msb 161 0 mathrel x
gvertneqq msb 162 0 mathrel x gvertneqq msb 162 0 mathrel x
nleq msb 163 0 mathrel x nleq msb 163 0 mathrel ≰
ngeq msb 164 0 mathrel x ngeq msb 164 0 mathrel ≱
nless msb 165 0 mathrel x nless msb 165 0 mathrel ≮
ngtr msb 166 0 mathrel x ngtr msb 166 0 mathrel ≯
nprec msb 167 0 mathrel x nprec msb 167 0 mathrel ⊀
nsucc msb 168 0 mathrel x nsucc msb 168 0 mathrel ⊁
lneqq msb 169 0 mathrel x lneqq msb 169 0 mathrel ≨
gneqq msb 170 0 mathrel x gneqq msb 170 0 mathrel ≩
nleqslant msb 173 0 mathrel x nleqslant msb 173 0 mathrel x
ngeqslant msb 174 0 mathrel x ngeqslant msb 174 0 mathrel x
lneq msb 175 0 mathrel x lneq msb 175 0 mathrel ⪇
gneq msb 176 0 mathrel x gneq msb 176 0 mathrel ⪈
npreceq msb 177 0 mathrel x npreceq msb 177 0 mathrel x
nsucceq msb 178 0 mathrel x nsucceq msb 178 0 mathrel x
precnsim msb 179 0 mathrel x precnsim msb 179 0 mathrel ⋨
succnsim msb 180 0 mathrel x succnsim msb 180 0 mathrel ⋩
lnsim msb 181 0 mathrel x lnsim msb 181 0 mathrel ⋦
gnsim msb 182 0 mathrel x gnsim msb 182 0 mathrel ⋧
nleqq msb 183 0 mathrel x nleqq msb 183 0 mathrel x
ngeqq msb 184 0 mathrel x ngeqq msb 184 0 mathrel x
precneqq msb 185 0 mathrel x precneqq msb 185 0 mathrel ⪵
succneqq msb 186 0 mathrel x succneqq msb 186 0 mathrel ⪶
precnapprox msb 187 0 mathrel x precnapprox msb 187 0 mathrel ⪹
succnapprox msb 188 0 mathrel x succnapprox msb 188 0 mathrel ⪺
lnapprox msb 189 0 mathrel x lnapprox msb 189 0 mathrel ⪉
gnapprox msb 190 0 mathrel x gnapprox msb 190 0 mathrel ⪊
nsim msb 191 0 mathrel x nsim msb 191 0 mathrel ≁
ncong msb 192 0 mathrel x ncong msb 192 0 mathrel ≇
diagup msb 193 0 mathord x diagup msb 193 0 mathord x
diagdown msb 194 0 mathord x diagdown msb 194 0 mathord x
varsubsetneq msb 195 0 mathrel x varsubsetneq msb 195 0 mathrel x
varsupsetneq msb 33 0 mathrel x varsupsetneq msb 33 0 mathrel x
nsubseteqq msb 34 0 mathrel x nsubseteqq msb 34 0 mathrel x
nsupseteqq msb 35 0 mathrel x nsupseteqq msb 35 0 mathrel x
subsetneqq msb 36 0 mathrel x subsetneqq msb 36 0 mathrel ⫋
supsetneqq msb 37 0 mathrel x supsetneqq msb 37 0 mathrel ⫌
varsubsetneqq msb 38 0 mathrel x varsubsetneqq msb 38 0 mathrel x
varsupsetneqq msb 39 0 mathrel x varsupsetneqq msb 39 0 mathrel x
subsetneq msb 40 0 mathrel x subsetneq msb 40 0 mathrel ⊊
supsetneq msb 41 0 mathrel x supsetneq msb 41 0 mathrel ⊋
nsubseteq msb 42 0 mathrel x nsubseteq msb 42 0 mathrel ⊈
nsupseteq msb 43 0 mathrel x nsupseteq msb 43 0 mathrel ⊉
nparallel msb 44 0 mathrel x nparallel msb 44 0 mathrel ∦
nmid msb 45 0 mathrel x nmid msb 45 0 mathrel ⫮
nshortmid msb 46 0 mathrel x nshortmid msb 46 0 mathrel ∤
nshortparallel msb 47 0 mathrel x nshortparallel msb 47 0 mathrel ∦
nvdash msb 48 0 mathrel x nvdash msb 48 0 mathrel ⊬
nVdash msb 49 0 mathrel x nVdash msb 49 0 mathrel ⊮
nvDash msb 50 0 mathrel x nvDash msb 50 0 mathrel ⊭
nVDash msb 51 0 mathrel x nVDash msb 51 0 mathrel ⊯
ntrianglerighteq msb 52 0 mathrel x ntrianglerighteq msb 52 0 mathrel ⋭
ntrianglelefteq msb 53 0 mathrel x ntrianglelefteq msb 53 0 mathrel ⋬
ntriangleleft msb 54 0 mathrel x ntriangleleft msb 54 0 mathrel ⋪
ntriangleright msb 55 0 mathrel x ntriangleright msb 55 0 mathrel ⋫
nleftarrow msb 56 0 mathrel x nleftarrow msb 56 0 mathrel ↚
nrightarrow msb 57 0 mathrel x nrightarrow msb 57 0 mathrel ↛
nLeftarrow msb 58 0 mathrel x nLeftarrow msb 58 0 mathrel ⇍
nRightarrow msb 59 0 mathrel x nRightarrow msb 59 0 mathrel ⇏
nLeftrightarrow msb 60 0 mathrel x nLeftrightarrow msb 60 0 mathrel ⇎
nleftrightarrow msb 61 0 mathrel x nleftrightarrow msb 61 0 mathrel ↮
divideontimes msb 62 0 mathbin x divideontimes msb 62 0 mathbin ⋇
varnothing msb 63 0 mathord x varnothing msb 63 0 mathord ∅
nexists msb 64 0 mathord x nexists msb 64 0 mathord ∄
Finv msb 96 0 mathord x Finv msb 96 0 mathord x
Game msb 97 0 mathord x Game msb 97 0 mathord x
eth msb 103 0 mathord x eth msb 103 0 mathord x
eqsim msb 104 0 mathrel x eqsim msb 104 0 mathrel x
beth msb 105 0 mathord x beth msb 105 0 mathord ℶ
gimel msb 106 0 mathord x gimel msb 106 0 mathord ℷ
daleth msb 107 0 mathord x daleth msb 107 0 mathord ℸ
lessdot msb 108 0 mathbin x lessdot msb 108 0 mathbin ⋖
gtrdot msb 109 0 mathbin x gtrdot msb 109 0 mathbin ⋗
ltimes msb 110 0 mathbin x ltimes msb 110 0 mathbin ⋉
rtimes msb 111 0 mathbin x rtimes msb 111 0 mathbin ⋊
shortmid msb 112 0 mathrel x shortmid msb 112 0 mathrel ∣
shortparallel msb 113 0 mathrel x shortparallel msb 113 0 mathrel ∥
smallsetminus msb 114 0 mathbin x smallsetminus msb 114 0 mathbin ∖
thicksim msb 115 0 mathrel x thicksim msb 115 0 mathrel ∼
thickapprox msb 116 0 mathrel x thickapprox msb 116 0 mathrel ≈
approxeq msb 117 0 mathrel x approxeq msb 117 0 mathrel ≊
succapprox msb 118 0 mathrel x succapprox msb 118 0 mathrel ⪸
precapprox msb 119 0 mathrel x precapprox msb 119 0 mathrel ⪷
curvearrowleft msb 120 0 mathrel x curvearrowleft msb 120 0 mathrel ↶
curvearrowright msb 121 0 mathrel x curvearrowright msb 121 0 mathrel ↷
digamma msb 122 0 mathord x digamma msb 122 0 mathord ϝ
varkappa msb 123 0 mathord x varkappa msb 123 0 mathord ϰ
Bbbk msb 124 0 mathord x Bbbk msb 124 0 mathord x
hslash msb 125 0 mathord x hslash msb 125 0 mathord ℏ
hbar msb 126 0 mathord x hbar msb 126 0 mathord ℏ
backepsilon msb 127 0 mathrel x backepsilon msb 127 0 mathrel ϶
lyxbar cmsy 161 0 mathord x lyxbar cmsy 161 0 mathord x
lyxeq cmr 61 0 mathord x lyxeq cmr 61 0 mathord x
@ -752,13 +752,13 @@ Thorn wasy 106 0 x x
openo wasy 108 0 x x openo wasy 108 0 x x
inve wasy 85 0 x x inve wasy 85 0 x x
#mho wasy 48 0 mathord x mho wasy 48 0 mathord ℧
#Join wasy 49 0 mathrel x #Join wasy 49 0 mathrel x
#Box wasy 50 0 mathord x #Box wasy 50 0 mathord x
#Diamond wasy 51 0 mathord x #Diamond wasy 51 0 mathord x
leadsto wasy 59 0 mathrel x leadsto wasy 59 0 mathrel x
#sqsubset wasy 60 0 mathrel x sqsubset wasy 60 0 mathrel ⊏
#sqsupset wasy 61 0 mathrel x sqsupset wasy 61 0 mathrel ⊐
#lhd wasy 1 0 mathbin x #lhd wasy 1 0 mathbin x
#unlhd wasy 2 0 mathbin x #unlhd wasy 2 0 mathbin x
LHD wasy 16 0 mathbin x LHD wasy 16 0 mathbin x
@ -798,11 +798,14 @@ int esint 001 0 mathop ∫ esint
intop esint 001 0 mathop ∫ esint intop esint 001 0 mathop ∫ esint
iint esint 003 0 mathop x esintoramsmath iint esint 003 0 mathop x esintoramsmath
iintop esint 003 0 mathop x esint iintop esint 003 0 mathop x esint
iiint esint 005 0 mathop x esintoramsmath iiint esint 005 0 mathop ∭ esintoramsmath
iiintop esint 005 0 mathop x esint iiintop esint 005 0 mathop x esint
iiiint esint 007 0 mathop x esintoramsmath iiiint esint 007 0 mathop ⨌ esintoramsmath
iiiintop esint 007 0 mathop x esint iiiintop esint 007 0 mathop x esint
oint esint 011 0 mathop x esint oint esint 011 0 mathop ∮ esint
ointop esint 011 0 mathop x esint ointop esint 011 0 mathop x esint
oiint esint 013 0 mathop x esint oiint esint 013 0 mathop x esint
oiintop esint 013 0 mathop x esint oiintop esint 013 0 mathop x esint
@ -821,13 +824,15 @@ int cmex 82 242 mathop ∫ esint
intop cmex 82 242 mathop ∫ esint intop cmex 82 242 mathop ∫ esint
iint wasy 115 0 mathop x esintoramsmath iint wasy 115 0 mathop x esintoramsmath
iintop wasy 115 0 mathop x esint iintop wasy 115 0 mathop x esint
iiint wasy 116 0 mathop x esintoramsmath iiint wasy 116 0 mathop ∭ esintoramsmath
iiintop wasy 116 0 mathop x esint iiintop wasy 116 0 mathop x esint
\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int} esintoramsmath \def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int} esintoramsmath
\def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int} esint \def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int} esint
\def\dotsint{\int\kern-3mu\cdots\kern-3mu\int} esint \def\dotsint{\int\kern-3mu\cdots\kern-3mu\int} esint
\def\dotsintop{\int\kern-3mu\cdots\kern-3mu\int} esint \def\dotsintop{\int\kern-3mu\cdots\kern-3mu\int} esint
oint cmex 72 0 mathop x esint oint cmex 72 0 mathop ∮ esint
ointop cmex 72 0 mathop x esint ointop cmex 72 0 mathop x esint
oiint wasy 118 0 mathop x esint oiint wasy 118 0 mathop x esint
oiintop wasy 118 0 mathop x esint oiintop wasy 118 0 mathop x esint
@ -944,8 +949,8 @@ lyxsurd cmsy 112 0 mathord x
\def\surd{^\lyxsurd} \def\surd{^\lyxsurd}
\def\textdegree{\kern-1mu^{\circ}\kern-4mu} \def\textdegree{\kern-1mu^{\circ}\kern-4mu}
else else
cong lyxsymbol 64 0 mathrel x cong lyxsymbol 64 0 mathrel ≅
surd lyxsymbol 214 0 mathord x surd lyxsymbol 214 0 mathord √
textdegree lyxsymbol 176 0 mathord x textdegree lyxsymbol 176 0 mathord x
endif endif