File art/encode9.tex artifact 84df5abf42 part of check-in cda4cc8b80

\LARGE A_{new}