$name : Geometric Proof Generator
$author : Devin
$description : Generates a somewhat realistic geometric proof.
$button : Prove It!

$Letter
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

$Segment
Segment [Letter,#letter1][Letter,#letter2]

$Segment2
Segment [Letter,#letter3][Letter,letter4]

$givens
|[Segment] ≅ Segment [#letter1][Letter]|
|[Segment] ≅ [Segment2]|

$out
<u>Given</u>: [givens,x1-2]<p><u>Prove</u></p>