blob: aff97cd8f611793ae8f7f9e05ee2813ee1b8a53c [file] [log] [blame]
# 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" %