Change tex2max to give AST rep #9
Description
tex2max has to produce the tree language which can go directly into the AST in the backend.
{{ message }}
tex2max has to produce the tree language which can go directly into the AST in the backend.