Rev 2 |
Details |
Compare with Previous |
Last modification |
View Log
| RSS feed
| Rev |
Author |
Line No. |
Line |
| 2 |
- |
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" %
|