Recently PDF has been accepted as a standard for production of electronic documents, as ISO 32000-1:2008, with an acronym of PDF/UA (for “Universal Accessibility”). The second draft ISO 32000-2:2009 is to include specifications for including MathML tagging of mathematical environments and expressions. This talk presents a report on work-in-progress, aimed at: developing the primitive commands for pdfTeX needed to support the production of fully tagged PDF documents; writing appropriate TeX and...