Post History
Check out Scrivener. I believe it can generate DocBook-format, though its true strength is in researching/creating a document, not editing formulas.
Answer
#3: Attribution notice added
Source: https://writers.stackexchange.com/a/2861 License name: CC BY-SA 3.0 License URL: https://creativecommons.org/licenses/by-sa/3.0/