# These definitions are right for the 202,
# but might need fiddling elsewhere

define	bullet	% "\s-5\(bu\s0" %
define	plus	% "\s-3\(pl\s0" %
define	box	% "\s-4\(bx\s0" %
define	star	% "\(**" %
define	dot	% "\v'-.2m'\s+4.\s0\v'.2m'" %
define	times	% "\s-3\(mu\s0" %
define	htick	% "\-" %
define	vtick	% "\(or" %
define	square	% "\s-3\(sq\s0" %
define	delta	% "\s-3\(*D\s0" %
