1 # These definitions are right for the 202,
2 # but might need fiddling elsewhere
3 
4 define	bullet	% "\s-5\(bu\s0" %
5 define	plus	% "\s-3\(pl\s0" %
6 define	box	% "\s-4\(bx\s0" %
7 define	star	% "\(**" %
8 define	dot	% "\v'-.2m'\s+4.\s0\v'.2m'" %
9 define	times	% "\s-3\(mu\s0" %
10 define	htick	% "\-" %
11 define	vtick	% "\(or" %
12 define	square	% "\s-3\(sq\s0" %
13 define	delta	% "\s-3\(*D\s0" %