blob: aff97cd8f611793ae8f7f9e05ee2813ee1b8a53c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# 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" %
|