forall x: a11y

This is a test file to investigate how LATExml(0.8.7) converts forall$𝓍$ to HTML. In particular, we’d like to see how various screen readers and possibly Braille terminals deal with the resulting HTML files and how to improve this output.

This is the title page. When compiled with the --split flag, LATExml splits the file into separate files (for parts/chapters) and inserts navigation items at the top.

Here is a table of contents: