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

\LARGE z_{new}