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