Letter X was designed using a function for each cross piece.
I felt like with this letter I was getting more used to using the grid
and using the sqrt function for the sides. I tried to make the letter
just as thick as the other 3, but working on a diagonal complicated
this a bit. I would have had to work with an even smaller grid to make
the X have a width of 1 unit rather than sqrt(2)*unit, so I ended up
leaving it this way and the letters still look the same size when
running the proof.
For the Letter D, I experimented with using a curve. I first tried the
circle function, but it was making the circle and arc too large, so I
then looked to see if there was an oval function. After I wasn't able
to find one I realized that I could just make the base of the letter
longer and then use half a circle and it would still look like the
letter D. For this letter, I made a function to draw the arc and then
ran it twice, once for the outer part of the letter and once for the
inner part.
Once running the proof, I thought the E looked too thick, so I also
changed the height of each part of the E to make it match the other
letters.
The letter E was a bit easier to code and probably what I should have
tried for first. I contemplated using some variables for the different
side lengths, but with each command only appearing 2 or 3 times, I
wasn't sure if it was worth it and it almost seemed like it would add
more complication. I'll try some more helper functions and variables
with the next letter.
The capital letter A turned out to be a bit tougher than I expected.
After drawing the letter on graph paper, I realized the angles would not
all be 45 degrees, so I used some trigonometry to figure out the angle.
This got more difficult in the inner part of the A, but I was still able
to define this angle. For the horizontal parts in the middle of the A,
I had to trial and error the distances, because it was hard to tell
exactly where I was on the grid, but overall I think the letter turned
out well. I think I'll try something with more linear motions for the
next letter and then maybe some more diagonals and maybe a curve for
the last 2 letters.