Very interesting. I'd be interested in seeing what an alternative to latex based on S-expressions would look like. I'm tempted to try and write it first as a scheme library; the end goal would be to have something more structured and closer to a programming language than latex, with a better content/styling separation…