#! /bin/gawk -f

# Undoes iso-to-tex

// {
  # Bracketed pairs as in iso-to-tex
  gsub(/{!`}/,"\241");
  gsub(/{\\S}/,"\247");
  gsub(/{\\copyright}/,"\251");
  gsub(/{\$\\pm\$}/,"\261");
  gsub(/{\$\\mu\$}/,"\265");
  gsub(/{\\P}/,"\266");
  gsub(/{\?`}/,"\277");
  gsub(/{\\`A}/,"\300");
  gsub(/{\\'A}/,"\301");
  gsub(/{\\\^A}/,"\302");
  gsub(/{\\~A}/,"\303");
  gsub(/{\\\"A}/,"\304");
  gsub(/{\\AA}/,"\305");
  gsub(/{\\AE}/,"\306");
  gsub(/{\\c{C}}/,"\307");
  gsub(/{\\`E}/,"\310");
  gsub(/{\\'E}/,"\311");
  gsub(/{\\\^E}/,"\312");
  gsub(/{\\\"E}/,"\313");
  gsub(/{\\`I}/,"\314");
  gsub(/{\\'I}/,"\315");
  gsub(/{\\\^I}/,"\316");
  gsub(/{\\\"I}/,"\317");
  gsub(/{\\~N}/,"\321");           
  gsub(/{\\`O}/,"\322");
  gsub(/{\\'O}/,"\323");
  gsub(/{\\\^O}/,"\324");
  gsub(/{\\~O}/,"\325");
  gsub(/{\\\"O}/,"\326");
  gsub(/{\$\\times\$}/,"\327");
  gsub(/{\\O}/,"\330");
  gsub(/{\\`U}/,"\331");
  gsub(/{\\'U}/,"\332");
  gsub(/{\\\^U}/,"\333");
  gsub(/{\\\"U}/,"\334");
  gsub(/{\\'Y}/,"\335");
  gsub(/{\\ss}/,"\337");
  gsub(/{\\`a}/,"\340");
  gsub(/{\\'a}/,"\341");
  gsub(/{\\\^a}/,"\342");
  gsub(/{\\~a}/,"\343");
  gsub(/{\\\"a}/,"\344");
  gsub(/{\\aa}/,"\345");
  gsub(/{\\ae}/,"\346");
  gsub(/{\\c{c}}/,"\347");
  gsub(/{\\`e}/,"\350");
  gsub(/{\\'e}/,"\351");
  gsub(/{\\\^e}/,"\352");
  gsub(/{\\\"e}/,"\353");
  gsub(/{\\`\\i}/,"\354");
  gsub(/{\\`{\\i}}/,"\354");
  gsub(/{\\'\\i}/,"\355");
  gsub(/{\\'{\\i}}/,"\355");
  gsub(/{\\\^\\i}/,"\356");
  gsub(/{\\\^{\\i}}/,"\356");
  gsub(/{\\\"\\i}/,"\357");
  gsub(/{\\\"\\i}/,"\357");
  gsub(/{\\~n}/,"\361");           
  gsub(/{\\`o}/,"\362");
  gsub(/{\\'o}/,"\363");
  gsub(/{\\\^o}/,"\364");
  gsub(/{\\~o}/,"\365");
  gsub(/{\\\"o}/,"\366");
  gsub(/{\$\\div\$}/,"\367");
  gsub(/{\\o}/,"\370");
  gsub(/{\\`u}/,"\371");
  gsub(/{\\'u}/,"\372");
  gsub(/{\\\^u}/,"\373");
  gsub(/{\\\"u}/,"\374");
  gsub(/{\\'y}/,"\375");           
  gsub(/{\\\"y}/,"\377");
  # bracketed pairs with bracketed letters
  gsub(/{\\`{A}}/,"\300");
  gsub(/{\\'{A}}/,"\301");
  gsub(/{\\\^{A}}/,"\302");
  gsub(/{\\~{A}}/,"\303");
  gsub(/{\\\"{A}}/,"\304");
  gsub(/{\\c{C}}/,"\307");
  gsub(/{\\`{E}}/,"\310");
  gsub(/{\\'{E}}/,"\311");
  gsub(/{\\\^{E}}/,"\312");
  gsub(/{\\\"{E}}/,"\313");
  gsub(/{\\`{I}}/,"\314");
  gsub(/{\\'{I}}/,"\315");
  gsub(/{\\\^{I}}/,"\316");
  gsub(/{\\\"{I}}/,"\317");
  gsub(/{\\~{N}}/,"\321");           
  gsub(/{\\`{O}}/,"\322");
  gsub(/{\\'{O}}/,"\323");
  gsub(/{\\\^{O}}/,"\324");
  gsub(/{\\~{O}}/,"\325");
  gsub(/{\\\"{O}}/,"\326");
  gsub(/{\\`{U}}/,"\331");
  gsub(/{\\'{U}}/,"\332");
  gsub(/{\\\^{U}}/,"\333");
  gsub(/{\\\"{U}}/,"\334");
  gsub(/{\\'{Y}}/,"\335");
  gsub(/{\\`{a}}/,"\340");
  gsub(/{\\'{a}}/,"\341");
  gsub(/{\\\^{a}}/,"\342");
  gsub(/{\\~{a}}/,"\343");
  gsub(/{\\\"{a}}/,"\344");
  gsub(/{\\c{c}}/,"\347");
  gsub(/{\\`{e}}/,"\350");
  gsub(/{\\'{e}}/,"\351");
  gsub(/{\\\^{e}}/,"\352");
  gsub(/{\\\"{e}}/,"\353");
  gsub(/{\\`{\\i}}/,"\354");
  gsub(/{\\'{\\i}}/,"\355");
  gsub(/{\\\^{\\i}}/,"\356");
  gsub(/{\\\"{\\i}}/,"\357");
  gsub(/{\\~{n}}/,"\361");           
  gsub(/{\\`{o}}/,"\362");
  gsub(/{\\'{o}}/,"\363");
  gsub(/{\\\^{o}}/,"\364");
  gsub(/{\\~{o}}/,"\365");
  gsub(/{\\\"{o}}/,"\366");
  gsub(/{\\`{u}}/,"\371");
  gsub(/{\\'{u}}/,"\372");
  gsub(/{\\\^{u}}/,"\373");
  gsub(/{\\\"{u}}/,"\374");
  gsub(/{\\'{y}}/,"\375");           
  gsub(/{\\\"{y}}/,"\377");
  # Bare pairs: 
  gsub(/\\`A/,"\300");
  gsub(/\\'A/,"\301");
  gsub(/\\\^A/,"\302");
  gsub(/\\~A/,"\303");
  gsub(/\\\"A/,"\304");
  gsub(/\\c{C}/,"\307");
  gsub(/\\`E/,"\310");
  gsub(/\\'E/,"\311");
  gsub(/\\\^E/,"\312");
  gsub(/\\\"E/,"\313");
  gsub(/\\`I/,"\314");
  gsub(/\\'I/,"\315");
  gsub(/\\\^I/,"\316");
  gsub(/\\\"I/,"\317");
  gsub(/\\~N/,"\321");           
  gsub(/\\`O/,"\322");
  gsub(/\\'O/,"\323");
  gsub(/\\\^O/,"\324");
  gsub(/\\~O/,"\325");
  gsub(/\\\"O/,"\326");
  gsub(/\\`U/,"\331");
  gsub(/\\'U/,"\332");
  gsub(/\\\^U/,"\333");
  gsub(/\\\"U/,"\334");
  gsub(/\\'Y/,"\335");
  gsub(/\\`a/,"\340");
  gsub(/\\'a/,"\341");
  gsub(/\\\^a/,"\342");
  gsub(/\\~a/,"\343");
  gsub(/\\\"a/,"\344");
  gsub(/\\c{c}/,"\347");
  gsub(/\\`e/,"\350");
  gsub(/\\'e/,"\351");
  gsub(/\\\^e/,"\352");
  gsub(/\\\"e/,"\353");
  gsub(/\\~n/,"\361");           
  gsub(/\\`o/,"\362");
  gsub(/\\'o/,"\363");
  gsub(/\\\^o/,"\364");
  gsub(/\\~o/,"\365");
  gsub(/\\\"o/,"\366");
  gsub(/\\`u/,"\371");
  gsub(/\\'u/,"\372");
  gsub(/\\\^u/,"\373");
  gsub(/\\\"u/,"\374");
  gsub(/\\'y/,"\375");           
  gsub(/\\\"y/,"\377");
  # bracketed letters
  gsub(/\\`{A}/,"\300");
  gsub(/\\'{A}/,"\301");
  gsub(/\\\^{A}/,"\302");
  gsub(/\\~{A}/,"\303");
  gsub(/\\\"{A}/,"\304");
  gsub(/\\c{C}/,"\307");
  gsub(/\\`{E}/,"\310");
  gsub(/\\'{E}/,"\311");
  gsub(/\\\^{E}/,"\312");
  gsub(/\\\"{E}/,"\313");
  gsub(/\\`{I}/,"\314");
  gsub(/\\'{I}/,"\315");
  gsub(/\\\^{I}/,"\316");
  gsub(/\\\"{I}/,"\317");
  gsub(/\\~{N}/,"\321");           
  gsub(/\\`{O}/,"\322");
  gsub(/\\'{O}/,"\323");
  gsub(/\\\^{O}/,"\324");
  gsub(/\\~{O}/,"\325");
  gsub(/\\\"{O}/,"\326");
  gsub(/\\`{U}/,"\331");
  gsub(/\\'{U}/,"\332");
  gsub(/\\\^{U}/,"\333");
  gsub(/\\\"{U}/,"\334");
  gsub(/\\'{Y}/,"\335");
  gsub(/\\`{a}/,"\340");
  gsub(/\\'{a}/,"\341");
  gsub(/\\\^{a}/,"\342");
  gsub(/\\~{a}/,"\343");
  gsub(/\\\"{a}/,"\344");
  gsub(/\\c{c}/,"\347");
  gsub(/\\`{e}/,"\350");
  gsub(/\\'{e}/,"\351");
  gsub(/\\\^{e}/,"\352");
  gsub(/\\\"{e}/,"\353");
  gsub(/\\`{\\i}/,"\354");
  gsub(/\\'{\\i}/,"\355");
  gsub(/\\\^{\\i}/,"\356");
  gsub(/\\\"{\\i}/,"\357");
  gsub(/\\~{n}/,"\361");           
  gsub(/\\`{o}/,"\362");
  gsub(/\\'{o}/,"\363");
  gsub(/\\\^{o}/,"\364");
  gsub(/\\~{o}/,"\365");
  gsub(/\\\"{o}/,"\366");
  gsub(/\\`{u}/,"\371");
  gsub(/\\'{u}/,"\372");
  gsub(/\\\^{u}/,"\373");
  gsub(/\\\"{u}/,"\374");
  gsub(/\\'{y}/,"\375");           
  gsub(/\\\"{y}/,"\377");
  print;
}