Something went wrong. Try again.
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Something went wrong. Try again.
existential-graphs step-first.svg
738 B · 16 lines
at DoubleCutAdd
1234567891011121314151617<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="32" height="33" viewBox="0 0 32 33"> <defs> <path id="path-1" fill-rule="evenodd" d="M16.5 1.5l-15 15 15 15v-30z"/> <path id="path-2" fill-rule="evenodd" d="M30.5 1.5l-15 15 15 15v-30z"/> </defs> <g> <g> <use fill="rgb(68,68,68)" xlink:href="#path-1"/> <use fill-opacity="0" stroke="rgb(68,68,68)" stroke-linecap="round" stroke-linejoin="round" stroke-width="3" xlink:href="#path-1"/> </g> <g> <use fill="rgb(68,68,68)" xlink:href="#path-2"/> <use fill-opacity="0" stroke="rgb(68,68,68)" stroke-linecap="round" stroke-linejoin="round" stroke-width="3" xlink:href="#path-2"/> </g> </g></svg>