I know that this was done in the late 1500s and early 1600s and even al khwarizmi الخوارمي in the 9th century did a lot to formalize math. I'm pretty sure fibonacci (not his real name) did not write his famous book using notation. I know Descartes did a lot to formalize math but the other names I'm not aware of. In any case, I want to know this because I'm trying to formalize philosophy. Of course a lot of philosophical arguments can be formalized but I'm actually working on a periodic table of metaphysical elements. If anyone would like to see my work send me a pm.