bitmaps « hyper « src - open-axiom - open scientific computation system

Mode	Name	Size
-rw-r--r--	Al.bitmap	470	log plain
-rw-r--r--	ClickToSet.bitmap	5739	log plain
-rw-r--r--	Continue.bitmap	2922	log plain
-rw-r--r--	DoIt.bitmap	1595	log plain
-rw-r--r--	Im.bitmap	269	log plain
-rw-r--r--	Re.bitmap	309	log plain
-rw-r--r--	Xdesp.bitmap	284	log plain
-rw-r--r--	Xfbox.bitmap	278	log plain
-rw-r--r--	Xfcirc.bitmap	290	log plain
-rw-r--r--	Xfullbox.bitmap	278	log plain
-rw-r--r--	Xfullcirc.bitmap	290	log plain
-rw-r--r--	Xfullfbox.bitmap	278	log plain
-rw-r--r--	Xfullfcirc.bitmap	290	log plain
-rw-r--r--	Xgreybox.bitmap	287	log plain
-rw-r--r--	Xgreycirc.bitmap	290	log plain
-rw-r--r--	Xgreyfbox.bitmap	290	log plain
-rw-r--r--	Xgreyfcirc.bitmap	290	log plain
-rw-r--r--	Xhappy.bitmap	281	log plain
-rw-r--r--	Xnobox.bitmap	281	log plain
-rw-r--r--	Xnocirc.bitmap	284	log plain
-rw-r--r--	Xnoface.bitmap	284	log plain
-rw-r--r--	Xopenbox.bitmap	278	log plain
-rw-r--r--	Xopencirc.bitmap	290	log plain
-rw-r--r--	Xopenfbox.bitmap	290	log plain
-rw-r--r--	Xopenfcirc.bitmap	284	log plain
-rw-r--r--	Xperv.bitmap	278	log plain
-rw-r--r--	Xsad.bitmap	275	log plain
-rw-r--r--	Xtickbox.bitmap	287	log plain
-rw-r--r--	Xtickcirc.bitmap	290	log plain
-rw-r--r--	Xtickfbox.bitmap	290	log plain
-rw-r--r--	Xtickfcirc.bitmap	293	log plain
-rw-r--r--	Xxbox.bitmap	278	log plain
-rw-r--r--	Xxcirc.bitmap	281	log plain
-rw-r--r--	Xxfbox.bitmap	281	log plain
-rw-r--r--	Xxfcirc.bitmap	284	log plain
-rw-r--r--	aTx=b.bitmap	1380	log plain
-rw-r--r--	ai.bitmap	368	log plain
-rw-r--r--	aleph.bitmap	324	log plain
-rw-r--r--	alpha.bitmap	324	log plain
-rw-r--r--	alpha.xbm	329	log plain
-rw-r--r--	alphaj.bitmap	482	log plain
-rw-r--r--	angle.bitmap	278	log plain
-rw-r--r--	anna.xbm.tiny	740	log plain
-rw-r--r--	anna_logo.xbm	12240	log plain
-rw-r--r--	axiom.xbm	80574	log plain
-rw-r--r--	axiom1.bitmap	21331	log plain
-rw-r--r--	back.bitmap	1574	log plain
-rw-r--r--	backslash.bitmap	290	log plain
-rw-r--r--	beta.bitmap	319	log plain
-rw-r--r--	beta.xbm	326	log plain
-rw-r--r--	betaj.bitmap	479	log plain
-rw-r--r--	bot.bitmap	272	log plain
-rw-r--r--	bullet.bitmap	314	log plain
-rw-r--r--	c02aff.bitmap	3783	log plain
-rw-r--r--	c1.bitmap	467	log plain
-rw-r--r--	chi.bitmap	314	log plain
-rw-r--r--	ci.bitmap	368	log plain
-rw-r--r--	clear.bitmap	324	log plain
-rw-r--r--	clearall.bitmap	653	log plain
-rw-r--r--	ctb.bitmap	773	log plain
-rw-r--r--	d01aqf.xbm	5145	log plain
-rw-r--r--	d01fcf.bitmap	26331	log plain
-rw-r--r--	d01gaf1.bitmap	3366	log plain
-rw-r--r--	d01gaf2.bitmap	3459	log plain
-rw-r--r--	d02gaf.bitmap	2781	log plain
-rw-r--r--	d03edf.bitmap	93832	log plain
-rw-r--r--	d03edf1.bitmap	23835	log plain
-rw-r--r--	d03eef.bitmap	39456	log plain
-rw-r--r--	d03eef.xbm	40114	log plain
-rw-r--r--	d03eef1.bitmap	11961	log plain
-rw-r--r--	d03eef2.bitmap	7086	log plain
-rw-r--r--	d03faf.bitmap	14865	log plain
-rw-r--r--	d03faf.xbm	13731	log plain
-rw-r--r--	del.bitmap	272	log plain
-rw-r--r--	delta-cap.bitmap	324	log plain
-rw-r--r--	delta.bitmap	324	log plain
-rw-r--r--	delta.xbm	329	log plain
-rw-r--r--	div.bitmap	272	log plain
-rw-r--r--	door	1325	log plain
-rw-r--r--	door.bitmap	1574	log plain
-rw-r--r--	dot.bitmap	314	log plain
-rw-r--r--	down.bitmap	1574	log plain
-rw-r--r--	down3.bitmap	1577	log plain
-rw-r--r--	dr.bitmap	269	log plain
-rw-r--r--	drown.bm	1577	log plain
-rw-r--r--	e01baf.bitmap	3381	log plain
-rw-r--r--	e01baf1.bitmap	1772	log plain
-rw-r--r--	e01bef.bitmap	2144	log plain
-rw-r--r--	e01daf.bitmap	2319	log plain
-rw-r--r--	e01daf1.bitmap	6066	log plain
-rw-r--r--	e02adf.bitmap	18831	log plain
-rw-r--r--	e02adf1.bitmap	12834	log plain
-rw-r--r--	e02aef.bitmap	8583	log plain
-rw-r--r--	e02agf.bitmap	3681	log plain
-rw-r--r--	e02agf1.bitmap	7524	log plain
-rw-r--r--	e02ahf.bitmap	8082	log plain
-rw-r--r--	e02ahf1.bitmap	7332	log plain
-rw-r--r--	e02ajf.bitmap	6864	log plain
-rw-r--r--	e02baf.bitmap	5550	log plain
-rw-r--r--	e02bdf.bitmap	1707	log plain
-rw-r--r--	e02bef.bitmap	4956	log plain
-rw-r--r--	e02daf.bitmap	19332	log plain
-rw-r--r--	e02daf1.bitmap	3993	log plain
-rw-r--r--	e04fdf.bitmap	12831	log plain
-rw-r--r--	e04fdf1.bitmap	4584	log plain
-rw-r--r--	e04mbf.bitmap	15708	log plain
-rw-r--r--	e04naf.bitmap	22581	log plain
-rw-r--r--	e04ucf.bitmap	27081	log plain
-rw-r--r--	ell.bitmap	314	log plain
-rw-r--r--	emptyset.bitmap	339	log plain
-rw-r--r--	ep1.bitmap	272	log plain
-rw-r--r--	ep2.bitmap	272	log plain
-rw-r--r--	epi.bitmap	272	log plain
-rw-r--r--	epp.bitmap	272	log plain
-rw-r--r--	epsilon.bitmap	334	log plain
-rw-r--r--	epsilon.xbm	335	log plain
-rw-r--r--	eqpage.bitmap	1577	log plain
-rw-r--r--	erase.bitmap	272	log plain
-rw-r--r--	error.bitmap	278	log plain
-rw-r--r--	eta.bitmap	237	log plain
-rw-r--r--	exists.bitmap	329	log plain
-rw-r--r--	exit.bitmap	1618	log plain
-rw-r--r--	exit3d.bitmap	1601	log plain
-rw-r--r--	exit3d_old.bitmap	1574	log plain
-rw-r--r--	exit3di.bitmap	1583	log plain
-rw-r--r--	f01qcf.bitmap	5544	log plain
-rw-r--r--	f01qcf1.bitmap	7272	log plain
-rw-r--r--	f01qcf2.bitmap	2784	log plain
-rw-r--r--	f01qcf3.bitmap	4686	log plain
-rw-r--r--	f01qdf.bitmap	767	log plain
-rw-r--r--	f01qdf1.bitmap	2286	log plain
-rw-r--r--	f01qdf2.bitmap	485	log plain
-rw-r--r--	f01rdf.bitmap	767	log plain
-rw-r--r--	f01rdf1.bitmap	2286	log plain
-rw-r--r--	f01rdf2.bitmap	2385	log plain
-rw-r--r--	fi.bitmap	269	log plain
-rw-r--r--	forall.bitmap	329	log plain
-rw-r--r--	fqr.bitmap	473	log plain
-rw-r--r--	fr.bitmap	309	log plain
-rw-r--r--	gamma-cap.bitmap	324	log plain
-rw-r--r--	gamma.bitmap	243	log plain
-rw-r--r--	gamma.xbm	329	log plain
-rw-r--r--	gammak.bitmap	380	log plain
-rw-r--r--	gi.bitmap	269	log plain
-rw-r--r--	great=.bitmap	319	log plain
-rw-r--r--	hbar.bitmap	319	log plain
-rw-r--r--	help.bitmap	1574	log plain
-rw-r--r--	help2.bakmap	1577	log plain
-rw-r--r--	help2.bitmap	1623	log plain
-rw-r--r--	help3.bitmap	1577	log plain
-rw-r--r--	help3d.bitmap	1601	log plain
-rw-r--r--	help3d_old.bitmap	1577	log plain
-rw-r--r--	help3di.bitmap	1583	log plain
-rw-r--r--	home3d.bitmap	1601	log plain
-rw-r--r--	home3d_old.bitmap	1580	log plain
-rw-r--r--	home3di.bitmap	1583	log plain
-rw-r--r--	imath.bitmap	324	log plain
-rw-r--r--	infty.bitmap	324	log plain
-rw-r--r--	infty.xbm	278	log plain
-rw-r--r--	ing.bitmap	476	log plain
-rw-r--r--	ing1.bitmap	515	log plain
-rw-r--r--	ing2.bitmap	1676	log plain
-rw-r--r--	int.bitmap	314	log plain
-rw-r--r--	int1.xbm	5700	log plain
-rw-r--r--	int10.xbm	4647	log plain
-rw-r--r--	int11.xbm	14178	log plain
-rw-r--r--	int12.xbm	9324	log plain
-rw-r--r--	int13.xbm	3527	log plain
-rw-r--r--	int2.xbm	3524	log plain
-rw-r--r--	int3.xbm	5952	log plain
-rw-r--r--	int4.xbm	4296	log plain
-rw-r--r--	int5.xbm	8052	log plain
-rw-r--r--	int6.xbm	7164	log plain
-rw-r--r--	int7.xbm	7602	log plain
-rw-r--r--	int8.xbm	6675	log plain
-rw-r--r--	int9.xbm	6675	log plain
-rw-r--r--	integral.bitmap	440	log plain
-rw-r--r--	integral.bm	337	log plain
-rw-r--r--	iota.bitmap	319	log plain
-rw-r--r--	jmath.bitmap	281	log plain
-rw-r--r--	kappa.bitmap	324	log plain
-rw-r--r--	l1.bitmap	467	log plain
-rw-r--r--	lambda-cap.bitmap	329	log plain
-rw-r--r--	lambda.bitmap	329	log plain
-rw-r--r--	lamdab.bitmap	284	log plain
-rw-r--r--	lamdai.bitmap	380	log plain
-rw-r--r--	lamdaj.bitmap	482	log plain
-rw-r--r--	ldlt.bitmap	875	log plain
-rw-r--r--	less=.bitmap	329	log plain
-rw-r--r--	lj.bitmap	269	log plain
-rw-r--r--	llt.bitmap	773	log plain
-rw-r--r--	lt.bitmap	470	log plain
-rw-r--r--	mask.bitmap	317	log plain
-rw-r--r--	menudot.bitmap	284	log plain
-rw-r--r--	mkm.bitmap	1073	log plain
-rw-r--r--	mu.bitmap	234	log plain
-rw-r--r--	mui.bitmap	371	log plain
-rw-r--r--	muj.bitmap	371	log plain
-rw-r--r--	mx.bitmap	470	log plain
-rw-r--r--	my.bitmap	470	log plain
-rw-r--r--	nabla.bitmap	272	log plain
-rw-r--r--	naglogo.bitmap	36429	log plain
-rw-r--r--	ncap.bitmap	275	log plain
-rw-r--r--	neg.bitmap	272	log plain
-rw-r--r--	newrho.bitmap	281	log plain
-rw-r--r--	nl.bitmap	368	log plain
-rw-r--r--	nn.bitmap	470	log plain
-rw-r--r--	noop.bitmap	1618	log plain
-rw-r--r--	noop3d.bitmap	1574	log plain
-rw-r--r--	not=.bitmap	319	log plain
-rw-r--r--	notequal.bitmap	275	log plain
-rw-r--r--	notequal.xbm	275	log plain
-rw-r--r--	nu.bitmap	309	log plain
-rw-r--r--	nx.bitmap	470	log plain
-rw-r--r--	ny.bitmap	470	log plain
-rw-r--r--	ode1.xbm	20289	log plain
-rw-r--r--	ode2.xbm	22351	log plain
-rw-r--r--	ode3.xbm	7065	log plain
-rw-r--r--	omega-cap.bitmap	324	log plain
-rw-r--r--	omega.bitmap	324	log plain
-rw-r--r--	omicron.bitmap	334	log plain
-rw-r--r--	opt1.xbm	5325	log plain
-rw-r--r--	opt2.xbm	8625	log plain
-rw-r--r--	opt2c.xbm	10780	log plain
-rw-r--r--	opt3.xbm	3621	log plain
-rw-r--r--	opt3c1.xbm	7881	log plain
-rw-r--r--	opt3c2.xbm	15756	log plain
-rw-r--r--	opt4.xbm	6975	log plain
-rw-r--r--	opt4c1.xbm	23584	log plain
-rw-r--r--	opt4c2.xbm	5457	log plain
-rw-r--r--	opt4c3.xbm	86182	log plain
-rw-r--r--	opt5.xbm	18225	log plain
-rw-r--r--	opt61.xbm	22171	log plain
-rw-r--r--	opt62.xbm	23284	log plain
-rw-r--r--	opt63.xbm	23482	log plain
-rw-r--r--	parallel.bitmap	287	log plain
-rw-r--r--	partial.bitmap	334	log plain
-rw-r--r--	pelzel.bitmap	731	log plain
-rw-r--r--	phi-cap.bitmap	314	log plain
-rw-r--r--	phi.bitmap	314	log plain
-rw-r--r--	phi.xbm	323	log plain
-rw-r--r--	pi-cap.bitmap	309	log plain
-rw-r--r--	pi.bitmap	309	log plain
-rw-r--r--	pi.xbm	269	log plain
-rw-r--r--	pick.bitmap	275	log plain
-rw-r--r--	pick_old.bitmap	281	log plain
-rw-r--r--	plusminus.xbm	287	log plain
-rw-r--r--	prime.bitmap	278	log plain
-rw-r--r--	prod.bitmap	269	log plain
-rw-r--r--	psi-cap.bitmap	314	log plain
-rw-r--r--	psi.bitmap	314	log plain
-rw-r--r--	psi.xbm	323	log plain
-rw-r--r--	px.bitmap	470	log plain
-rw-r--r--	py.bitmap	470	log plain
-rw-r--r--	quad.bitmap	275	log plain
-rw-r--r--	quit.bitmap	950	log plain
-rw-r--r--	return.bitmap	1580	log plain
-rw-r--r--	return2.bitmap	1580	log plain
-rw-r--r--	return3.bitmap	1633	log plain
-rw-r--r--	rho.bitmap	314	log plain
-rw-r--r--	rho=r.bitmap	752	log plain
-rw-r--r--	rhosq=.bitmap	2583	log plain
-rw-r--r--	s13aaf.bitmap	4863	log plain
-rw-r--r--	s13aaf1.bitmap	5403	log plain
-rw-r--r--	s13aaf2.bitmap	983	log plain
-rw-r--r--	s13acf.bitmap	8175	log plain
-rw-r--r--	s13adf.bitmap	5583	log plain
-rw-r--r--	s14baf.bitmap	15831	log plain
-rw-r--r--	s15adf.bitmap	5427	log plain
-rw-r--r--	s15aef.bitmap	4695	log plain
-rw-r--r--	s17acf.bitmap	782	log plain
-rw-r--r--	s17adf.bitmap	782	log plain
-rw-r--r--	s17aef.bitmap	782	log plain
-rw-r--r--	s17aef1.bitmap	785	log plain
-rw-r--r--	s17aff.bitmap	782	log plain
-rw-r--r--	s17aff1.bitmap	785	log plain
-rw-r--r--	s17dcf.bitmap	1067	log plain
-rw-r--r--	s17def.bitmap	1067	log plain
-rw-r--r--	s17dlf.bitmap	2129	log plain
-rw-r--r--	s17dlf1.bitmap	1898	log plain
-rw-r--r--	s17dlf2.bitmap	1898	log plain
-rw-r--r--	s18acf.bitmap	1937	log plain
-rw-r--r--	s18acf1.bitmap	884	log plain
-rw-r--r--	s18adf.bitmap	1937	log plain
-rw-r--r--	s18adf1.bitmap	884	log plain
-rw-r--r--	s18aef.bitmap	1580	log plain
-rw-r--r--	s18aef1.bitmap	785	log plain
-rw-r--r--	s18aff.bitmap	1580	log plain
-rw-r--r--	s18aff1.bitmap	785	log plain
-rw-r--r--	s18dcf.bitmap	1181	log plain
-rw-r--r--	s18def.bitmap	1082	log plain
-rw-r--r--	s21baf.bitmap	12895	log plain
-rw-r--r--	s21baf.bitmap.wrong	9756	log plain
-rw-r--r--	s21baf1.bitmap	1605	log plain
-rw-r--r--	s21baf1.bitmap.wrong	1836	log plain
-rw-r--r--	s21bbf.bitmap	11895	log plain
-rw-r--r--	s21bbf1.bitmap	3585	log plain
-rw-r--r--	s21bcf.bitmap	13521	log plain
-rw-r--r--	s21bcf1.bitmap	3147	log plain
-rw-r--r--	s21bdf.bitmap	15396	log plain
-rw-r--r--	s21bdf1.bitmap	4335	log plain
-rw-r--r--	sdown.bitmap	473	log plain
-rw-r--r--	sdown.bm	473	log plain
-rw-r--r--	sdown3d.bitmap	479	log plain
-rw-r--r--	sdown3dpr.bitmap	485	log plain
-rw-r--r--	si-integral.bitmap	1283	log plain
-rw-r--r--	sigma-cap.bitmap	324	log plain
-rw-r--r--	sigma.bitmap	324	log plain
-rw-r--r--	smile.bitmap	953	log plain
-rw-r--r--	source.bitmap	327	log plain
-rw-r--r--	subtwo.bitmap	329	log plain
-rw-r--r--	sum.bitmap	278	log plain
-rw-r--r--	sum.bm	312	log plain
-rw-r--r--	sup.bitmap	467	log plain
-rw-r--r--	sup.bm	467	log plain
-rw-r--r--	sup3d.bitmap	473	log plain
-rw-r--r--	sup3dpr.bitmap	479	log plain
-rw-r--r--	surd.bitmap	319	log plain
-rw-r--r--	tau.bitmap	314	log plain
-rw-r--r--	tear.bitmap	1574	log plain
-rw-r--r--	theta-cap.bitmap	324	log plain
-rw-r--r--	theta.bitmap	324	log plain
-rw-r--r--	top.bitmap	272	log plain
-rw-r--r--	triangle.bitmap	287	log plain
-rw-r--r--	uij.bitmap	473	log plain
-rw-r--r--	uj.bitmap	368	log plain
-rw-r--r--	unpick.bitmap	281	log plain
-rw-r--r--	unpick_old.bitmap	290	log plain
-rw-r--r--	up.bitmap	1568	log plain
-rw-r--r--	up2.bitmap	1571	log plain
-rw-r--r--	up3.bitmap	1571	log plain
-rw-r--r--	up3d.bitmap	1571	log plain
-rw-r--r--	up3di.bitmap	1577	log plain
-rw-r--r--	updots.bitmap	1583	log plain
-rw-r--r--	upsilon-cap.bitmap	334	log plain
-rw-r--r--	upsilon.bitmap	334	log plain
-rw-r--r--	wr.bitmap	470	log plain
-rw-r--r--	x1.xbm	1583	log plain
-rw-r--r--	xbar.bitmap	275	log plain
-rw-r--r--	xe.xbm	893	log plain
-rw-r--r--	xi-cap.bitmap	309	log plain
-rw-r--r--	xi.bitmap	234	log plain
-rw-r--r--	xii.bitmap	272	log plain
-rw-r--r--	xiii.bitmap	275	log plain
-rw-r--r--	xj.bitmap	309	log plain
-rw-r--r--	xmax.bitmap	674	log plain
-rw-r--r--	xmin.bitmap	674	log plain
-rw-r--r--	xq.bitmap	470	log plain
-rw-r--r--	xr.bitmap	368	log plain
-rw-r--r--	xs.xbm	1169	log plain
-rw-r--r--	y1.xbm	6069	log plain
-rw-r--r--	y2.xbm	7269	log plain
-rw-r--r--	y3.xbm	4470	log plain
-rw-r--r--	ye.xbm	968	log plain
-rw-r--r--	yi.bitmap	269	log plain
-rw-r--r--	yr.bitmap	368	log plain
-rw-r--r--	ys.xbm	989	log plain
-rw-r--r--	zeta.bitmap	240	log plain
-rw-r--r--	zetak.bitmap	479	log plain
-rw-r--r--	zk.bitmap	470	log plain