Comment Comment by andridk I don't disagree with his arguments. But, it's still the best typesetting tool that I know of. parent andridk 12 years ago