FYI…I have been working on figuring out how best to do the logical symbols in this book (looks like LaTeX). See this thread where I asked the broader community about logical symbols and accessibility, plus some issues that have arisen with me working on the LaTeX for the symbols.