setting the stage for DLMF tests
 Adding attribute syntax for our ContentMathML linear language