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

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