This will hopefully turn into a place for geometric proofs of the Pythagorean Theorem -- the square of the hypotenuse of a right angle triangle is equal to the sum of the squares of the other two sides. Take a look at the VERY poorly documented program and its helpers Btex and fillTriangle. Also see how the TitleTex, "Pythagoras' Haven" is made (it uses Btex as well).