14 lines
375 B
Plaintext
14 lines
375 B
Plaintext
# 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" %
|