Add SymPy doc example