Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
# 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" %