#! /usr/bin/gawk -f
# Last edited on 2012-02-13 09:56:25 by stolfilocal

//{ 
  $0 = gensub(/[~]([.,;:!?)])/, "\\1", "g", $0);
  $0 = gensub(/[$]/, "\\\\$", "g", $0);
  $0 = gensub(/[«]/, "« ", "g", $0);
  $0 = gensub(/[»]/, " »", "g", $0);
  print;
}