| # 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" % |