File art/encode5.tex artifact 8c67f6dc7e part of check-in d6477def97

\LARGE z_{new}