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

\LARGE A_{new}