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