Example of svg file created by ATCalc
Proof.svg:
Browser does not support SVG files!