grap.defines 375 B

12345678910111213
  1. # These definitions are right for the 202,
  2. # but might need fiddling elsewhere
  3. define bullet % "\s-5\(bu\s0" %
  4. define plus % "\s-3\(pl\s0" %
  5. define box % "\s-4\(bx\s0" %
  6. define star % "\(**" %
  7. define dot % "\v'-.2m'\s+4.\s0\v'.2m'" %
  8. define times % "\s-3\(mu\s0" %
  9. define htick % "\-" %
  10. define vtick % "\(or" %
  11. define square % "\s-3\(sq\s0" %
  12. define delta % "\s-3\(*D\s0" %