A list of the synonyms...<p><pre><code> Therefore,
Hence,
So,
It is trivial that
Clearly,
Behold!
Ergo,
And verily it goes that
Thus,
By logical extension,
And verily,
It is the will of the Gods that
We find
It can be shown that
It transpires that
As an exercise, prove that
Wherefore said He unto them,
As must be obvious to even the meanest intellect,
The power of logic reveals the conclusion that
This implies
As Gauss proved,
As Euler proved,
And it was handed down from the heavens that
It pleases the symmetry of the world that
</code></pre>
It just needs to be content aware so that it can use "As an exercise, prove that" for the most difficult step.
This is a welcome development for LaTeX: they achieved perfection in visual presentation years ago, so there's nowhere to go but to the content itself. I fully expect a proof checker package to be available for LaTeX within a few years.
"And it was handed down from the heavens that" -- man, I wish I'd used that one in my thesis...<p>Here it is on writeLaTeX, if you'd like to see it in action:
<a href="http://www.writelatex.com/docs?snip_uri[]=https://raw.github.com/bgschiller/latex-therefore/master/sqrt_two.tex&snip_uri[]=https://raw.github.com/bgschiller/latex-therefore/master/therefore.sty" rel="nofollow">http://www.writelatex.com/docs?snip_uri[]=https://raw.github...</a>
As a casual LaTeX user I never really got into the macro/package programming side of it, but for some reason I really don't want to have to type a backslash before every 'therefore.' Is it possible to write a procedure that finds every instance of 'therefore' and replaces it with a synonym at compile time? I still wouldn't use this package for formal papers but it might be fun to play with.