repo.or.cz
/
lyx.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
tufte layout files:
master
[lyx.git]
/
lib
/
images
/
math
/
tree
062a8c4722854ff7c207fe00dcdebc51e459c806
drwxr-xr-x
..
-rw-r--r--
215
Bbbk.png
blob
|
blame
|
history
|
raw
-rw-r--r--
180
Finv.png
blob
|
blame
|
history
|
raw
-rw-r--r--
213
Game.png
blob
|
blame
|
history
|
raw
-rw-r--r--
231
Im.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
Lleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
Lsh.png
blob
|
blame
|
history
|
raw
-rw-r--r--
227
Re.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
Rrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
Rsh.png
blob
|
blame
|
history
|
raw
-rw-r--r--
186
Vvdash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
203
acute.png
blob
|
blame
|
history
|
raw
-rw-r--r--
160
adots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
aleph.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
alpha.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
amalg.png
blob
|
blame
|
history
|
raw
-rw-r--r--
1122
ams_arrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
297
ams_misc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
2527
ams_nrel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
803
ams_ops.png
blob
|
blame
|
history
|
raw
-rw-r--r--
2296
ams_rel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
angle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
approx.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
approxeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
586
arrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
asymp.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
backepsilon.png
blob
|
blame
|
history
|
raw
-rw-r--r--
177
backprime.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
backsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
backsimeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
backslash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
bar.png
blob
|
blame
|
history
|
raw
-rw-r--r--
172
bars.png
blob
|
blame
|
history
|
raw
-rw-r--r--
203
barwedge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
174
because.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
beta.png
blob
|
blame
|
history
|
raw
-rw-r--r--
203
beth.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
between.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
bigcap.png
blob
|
blame
|
history
|
raw
-rw-r--r--
230
bigcirc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
bigcup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
240
bigodot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
243
bigoplus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
251
bigotimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
171
bigsqcup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
bigstar.png
blob
|
blame
|
history
|
raw
-rw-r--r--
213
bigtriangledown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
bigtriangleup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
biguplus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
bigvee.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
bigwedge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
blacklozenge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
176
blacksquare.png
blob
|
blame
|
history
|
raw
-rw-r--r--
185
blacktriangle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
blacktriangledown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
blacktriangleleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
blacktriangleright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
685
bop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
176
bot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
bowtie.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
boxdot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
185
boxminus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
191
boxplus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
225
boxtimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
718
brel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
breve.png
blob
|
blame
|
history
|
raw
-rw-r--r--
180
bullet.png
blob
|
blame
|
history
|
raw
-rw-r--r--
191
bumpeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
bumpeq2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
190
cap.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
cap2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
325
cases.png
blob
|
blame
|
history
|
raw
-rw-r--r--
162
cdot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
175
cdots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
170
centerdot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
check.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
chi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
187
circ.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
circeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
circlearrowleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
circlearrowright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
249
circledS.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
circledast.png
blob
|
blame
|
history
|
raw
-rw-r--r--
223
circledcirc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
circleddash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
clubsuit.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
complement.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
cong.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
coprod.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
cup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
cup2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
curlyeqprec.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
curlyeqsucc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
curlyvee.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
curlywedge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
curvearrowleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
curvearrowright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
184
dagger.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
daleth.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
dashleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
dashrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
175
dashv.png
blob
|
blame
|
history
|
raw
-rw-r--r--
183
ddagger.png
blob
|
blame
|
history
|
raw
-rw-r--r--
174
ddddot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
174
dddot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
203
ddot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
178
ddots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
deco.png
blob
|
blame
|
history
|
raw
-rw-r--r--
223
delim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
delim0.png
blob
|
blame
|
history
|
raw
-rw-r--r--
170
delim1.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
delta.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
delta2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
diagdown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
diagup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
diamond.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
diamondsuit.png
blob
|
blame
|
history
|
raw
-rw-r--r--
187
digamma.png
blob
|
blame
|
history
|
raw
-rw-r--r--
184
div.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
divideontimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
dot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
doteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
180
doteqdot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
186
dotplus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
134
dots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
203
dotsint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
dotsintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
doublebarwedge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
182
downarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
downarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
downdownarrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
180
downharpoonleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
179
downharpoonright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
ell.png
blob
|
blame
|
history
|
raw
-rw-r--r--
161
empty.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
emptyset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
193
epsilon.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
eqcirc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
eqslantgtr.png
blob
|
blame
|
history
|
raw
-rw-r--r--
216
eqslantless.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
equation.png
blob
|
blame
|
history
|
raw
-rw-r--r--
175
equiv.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
eta.png
blob
|
blame
|
history
|
raw
-rw-r--r--
218
eth.png
blob
|
blame
|
history
|
raw
-rw-r--r--
183
exists.png
blob
|
blame
|
history
|
raw
-rw-r--r--
1080
export-others.png
blob
|
blame
|
history
|
raw
-rw-r--r--
185
fallingdotseq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
177
fint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
191
fintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
flat.png
blob
|
blame
|
history
|
raw
-rw-r--r--
266
font.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
forall.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
frac-square.png
blob
|
blame
|
history
|
raw
-rw-r--r--
280
frac.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
frown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
285
functions.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
gamma.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
gamma2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
geq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
geqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
geqslant.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
gg.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
ggg.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
gimel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
237
gnapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
gneq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
gneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
gnsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
grave.png
blob
|
blame
|
history
|
raw
-rw-r--r--
436
greek.png
blob
|
blame
|
history
|
raw
-rw-r--r--
228
gtrapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
gtrdot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
228
gtreqless.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
gtreqqless.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
gtrless.png
blob
|
blame
|
history
|
raw
-rw-r--r--
225
gtrsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
gvertneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
hat.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
hbar.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
heartsuit.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
hookleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
hookrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
222
hphantom.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
hslash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
160
iddots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
iiiint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
216
iiiintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
187
iiint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
iiintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
iint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
iintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
187
imath.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
in.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
infty.png
blob
|
blame
|
history
|
raw
-rw-r--r--
183
int.png
blob
|
blame
|
history
|
raw
-rw-r--r--
181
intercal.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
intop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
179
iota.png
blob
|
blame
|
history
|
raw
-rw-r--r--
193
jmath.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
kappa.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
lambda.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
lambda2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
179
landdownint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
landdownintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
182
landupint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
landupintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
191
langle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
lbrace.png
blob
|
blame
|
history
|
raw
-rw-r--r--
346
lbrace_rbrace.png
blob
|
blame
|
history
|
raw
-rw-r--r--
166
lbracket.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
lbracket_rbracket.png
blob
|
blame
|
history
|
raw
-rw-r--r--
172
lceil.png
blob
|
blame
|
history
|
raw
-rw-r--r--
180
lceil_rceil.png
blob
|
blame
|
history
|
raw
-rw-r--r--
177
ldots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
leftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
leftarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
leftarrowtail.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
leftharpoondown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
184
leftharpoonup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
leftleftarrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
leftrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
leftrightarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
leftrightarrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
leftrightharpoons.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
leftrightsquigarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
leftthreetimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
leq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
leqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
leqslant.png
blob
|
blame
|
history
|
raw
-rw-r--r--
235
lessapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
lessdot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
lesseqgtr.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
lesseqqgtr.png
blob
|
blame
|
history
|
raw
-rw-r--r--
233
lessgtr.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
lesssim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
168
lfloor.png
blob
|
blame
|
history
|
raw
-rw-r--r--
179
lfloor_rfloor.png
blob
|
blame
|
history
|
raw
-rw-r--r--
216
ll.png
blob
|
blame
|
history
|
raw
-rw-r--r--
176
llcorner.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
lll.png
blob
|
blame
|
history
|
raw
-rw-r--r--
245
lnapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
lneq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
225
lneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
233
lnsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
longleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
longleftarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
longleftrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
longleftrightarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
longmapsto.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
longrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
longrightarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
looparrowleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
looparrowright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
lozenge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
193
lparen.png
blob
|
blame
|
history
|
raw
-rw-r--r--
406
lparen_rparen.png
blob
|
blame
|
history
|
raw
-rw-r--r--
169
lrcorner.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
ltimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
lvertneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
227
mapsto.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
mathbb_C.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
mathbb_H.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
mathbb_N.png
blob
|
blame
|
history
|
raw
-rw-r--r--
231
mathbb_Q.png
blob
|
blame
|
history
|
raw
-rw-r--r--
255
mathbb_R.png
blob
|
blame
|
history
|
raw
-rw-r--r--
216
mathbb_Z.png
blob
|
blame
|
history
|
raw
-rw-r--r--
228
mathcal_F.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
mathcal_H.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
mathcal_L.png
blob
|
blame
|
history
|
raw
-rw-r--r--
228
mathcal_O.png
blob
|
blame
|
history
|
raw
-rw-r--r--
187
mathcircumflex.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
mathrm_T.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
matrix.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
measuredangle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
mho.png
blob
|
blame
|
history
|
raw
-rw-r--r--
164
mid.png
blob
|
blame
|
history
|
raw
-rw-r--r--
838
misc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
181
models.png
blob
|
blame
|
history
|
raw
-rw-r--r--
183
mp.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
mu.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
multimap.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
nabla.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
natural.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
ncong.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
nearrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
160
neg.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
neq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
nexists.png
blob
|
blame
|
history
|
raw
-rw-r--r--
236
ngeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
252
ngeqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
238
ngeqslant.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
ngtr.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
ni.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
nleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
nleftarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
230
nleftrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
nleftrightarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
234
nleq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
228
nleqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
233
nleqslant.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
nless.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
nmid.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
notin.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
nparallel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
nprec.png
blob
|
blame
|
history
|
raw
-rw-r--r--
222
npreceq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
nrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
nrightarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
nshortmid.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
nshortparallel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
nsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
232
nsubseteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
nsucc.png
blob
|
blame
|
history
|
raw
-rw-r--r--
230
nsucceq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
222
nsupseteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
nsupseteqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
ntriangleleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
ntrianglelefteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
222
ntriangleright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
235
ntrianglerighteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
nu.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
nvdash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
nvdash2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
nvdash3.png
blob
|
blame
|
history
|
raw
-rw-r--r--
231
nwarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
odot.png
blob
|
blame
|
history
|
raw
-rw-r--r--
225
oiint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
242
oiintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
oint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
231
ointclockwise.png
blob
|
blame
|
history
|
raw
-rw-r--r--
244
ointclockwiseop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
233
ointctrclockwise.png
blob
|
blame
|
history
|
raw
-rw-r--r--
244
ointctrclockwiseop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
231
ointop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
omega.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
omega2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
ominus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
oplus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
oslash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
234
otimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
overbrace.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
overleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
overleftrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
overline.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
overrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
overset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
160
parallel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
partial.png
blob
|
blame
|
history
|
raw
-rw-r--r--
176
perp.png
blob
|
blame
|
history
|
raw
-rw-r--r--
246
phantom.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
phi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
phi2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
pi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
193
pi2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
pitchfork.png
blob
|
blame
|
history
|
raw
-rw-r--r--
182
pm.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
prec.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
precapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
216
preccurlyeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
preceq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
234
precnapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
230
precnsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
225
precsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
176
prime.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
prod.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
propto.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
psi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
psi2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
191
rangle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
rbrace.png
blob
|
blame
|
history
|
raw
-rw-r--r--
164
rbracket.png
blob
|
blame
|
history
|
raw
-rw-r--r--
177
rceil.png
blob
|
blame
|
history
|
raw
-rw-r--r--
163
rfloor.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
rho.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
rightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
rightarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
rightarrowtail.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
rightharpoondown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
189
rightharpoonup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
rightleftarrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
rightleftharpoons.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
rightrightarrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
rightsquigarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
rightthreetimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
186
risingdotseq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
242
root.png
blob
|
blame
|
history
|
raw
-rw-r--r--
197
rparen.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
rtimes.png
blob
|
blame
|
history
|
raw
-rw-r--r--
226
searrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
185
setminus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
sharp.png
blob
|
blame
|
history
|
raw
-rw-r--r--
159
shortmid.png
blob
|
blame
|
history
|
raw
-rw-r--r--
163
shortparallel.png
blob
|
blame
|
history
|
raw
-rw-r--r--
192
sigma.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
sigma2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
191
sim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
simeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
193
slash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
193
smallfrown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
smallsetminus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
smallsmile.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
smile.png
blob
|
blame
|
history
|
raw
-rw-r--r--
184
space.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
spadesuit.png
blob
|
blame
|
history
|
raw
-rw-r--r--
217
sphericalangle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
182
sqcap.png
blob
|
blame
|
history
|
raw
-rw-r--r--
172
sqcup.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
sqiint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
230
sqiintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
sqint.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
sqintop.png
blob
|
blame
|
history
|
raw
-rw-r--r--
232
sqrt-square.png
blob
|
blame
|
history
|
raw
-rw-r--r--
232
sqrt.png
blob
|
blame
|
history
|
raw
-rw-r--r--
183
sqsubset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
sqsubseteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
185
sqsupset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
190
sqsupseteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
187
square.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
star.png
blob
|
blame
|
history
|
raw
-rw-r--r--
258
style.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
sub.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
subset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
211
subset2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
subseteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
subseteqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
subsetneq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
subsetneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
succ.png
blob
|
blame
|
history
|
raw
-rw-r--r--
229
succapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
succcurlyeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
succeq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
235
succnapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
225
succnsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
222
succsim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
234
sum.png
blob
|
blame
|
history
|
raw
-rw-r--r--
218
super.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
supset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
supset2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
supseteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
supseteqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
supsetneq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
222
supsetneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
213
surd.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
swarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
195
tau.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
textrm_AA.png
blob
|
blame
|
history
|
raw
-rw-r--r--
230
textrm_O.png
blob
|
blame
|
history
|
raw
-rw-r--r--
174
therefore.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
theta.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
theta2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
thickapprox.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
thicksim.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
tilde.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
times.png
blob
|
blame
|
history
|
raw
-rw-r--r--
180
top.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
triangle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
triangledown.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
triangleleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
trianglelefteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
triangleq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
triangleright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
215
trianglerighteq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
199
twoheadleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
twoheadrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
183
ulcorner.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
underbrace.png
blob
|
blame
|
history
|
raw
-rw-r--r--
205
underleftarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
212
underleftrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
188
underline.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
underrightarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
162
underscore.png
blob
|
blame
|
history
|
raw
-rw-r--r--
184
underset.png
blob
|
blame
|
history
|
raw
-rw-r--r--
181
uparrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
uparrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
updownarrow.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
updownarrow2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
178
upharpoonleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
179
upharpoonright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
uplus.png
blob
|
blame
|
history
|
raw
-rw-r--r--
196
upsilon.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
upsilon2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
upuparrows.png
blob
|
blame
|
history
|
raw
-rw-r--r--
185
urcorner.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
varepsilon.png
blob
|
blame
|
history
|
raw
-rw-r--r--
204
varkappa.png
blob
|
blame
|
history
|
raw
-rw-r--r--
218
varnothing.png
blob
|
blame
|
history
|
raw
-rw-r--r--
213
varphi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
varpi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
varpropto.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
varrho.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
varsigma.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
varsubsetneq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
223
varsubsetneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
221
varsupsetneq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
219
varsupsetneqq.png
blob
|
blame
|
history
|
raw
-rw-r--r--
588
varsz.png
blob
|
blame
|
history
|
raw
-rw-r--r--
213
vartheta.png
blob
|
blame
|
history
|
raw
-rw-r--r--
198
vartriangle.png
blob
|
blame
|
history
|
raw
-rw-r--r--
208
vartriangleleft.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
vartriangleright.png
blob
|
blame
|
history
|
raw
-rw-r--r--
178
vdash.png
blob
|
blame
|
history
|
raw
-rw-r--r--
178
vdash2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
182
vdash3.png
blob
|
blame
|
history
|
raw
-rw-r--r--
163
vdots.png
blob
|
blame
|
history
|
raw
-rw-r--r--
206
vec.png
blob
|
blame
|
history
|
raw
-rw-r--r--
200
vee.png
blob
|
blame
|
history
|
raw
-rw-r--r--
201
veebar.png
blob
|
blame
|
history
|
raw
-rw-r--r--
157
vert.png
blob
|
blame
|
history
|
raw
-rw-r--r--
160
vert2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
224
vphantom.png
blob
|
blame
|
history
|
raw
-rw-r--r--
194
wedge.png
blob
|
blame
|
history
|
raw
-rw-r--r--
220
widehat.png
blob
|
blame
|
history
|
raw
-rw-r--r--
214
widetilde.png
blob
|
blame
|
history
|
raw
-rw-r--r--
207
wp.png
blob
|
blame
|
history
|
raw
-rw-r--r--
182
wr.png
blob
|
blame
|
history
|
raw
-rw-r--r--
210
xi.png
blob
|
blame
|
history
|
raw
-rw-r--r--
202
xi2.png
blob
|
blame
|
history
|
raw
-rw-r--r--
209
zeta.png
blob
|
blame
|
history
|
raw