#! /usr/bin/gawk -f
# Last edited on 2012-02-19 06:02:36 by stolfilocal

//{ 
  # Fix spaces before punctuation:
  $0 = gensub(/[~ ]*([.,;:!?)])/, "\\1", "g", $0);
  $0 = gensub(/[!]/, "~!", "g", $0);
  $0 = gensub(/[?]/, "~?", "g", $0);
  $0 = gensub(/[:]/, "~:", "g", $0);
  $0 = gensub(/[;]/, "~;", "g", $0);
  # Fix spaces near quotes:
  $0 = gensub(/[«][ ]*/, "«~", "g", $0);
  $0 = gensub(/[ ]*[»]/, "~»", "g", $0);
  # Currency marks:
  $0 = gensub(/[$]/, "\\\\$", "g", $0);
  $0 = gensub(/[¦]/, ":", "g", $0);
  # Math symbols:
  $0 = gensub(/[¤]/, "=", "g", $0);
  print;
}