Turning Origami into the Language of Mathematics