Add example of green docs.  See SymPy pull request sympy/sympy#1792.