| wkj | 7bda145 | 2004-05-16 08:07:42 +0000 | [diff] [blame] | 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" % | ||||