* add double blackslashes in README.* for markdown
* ignore all signs with unicode points < 128 (like | { }) which are readible
  anyway and must not be translated into their much too long LaTeX equivalents