#REDIRECT [[Wiki2tex.awk]]