My research project was undertaken as part of a larger project by Prof. Dirk Schlimm about documenting and studying the history and philosophy of notations in mathematics and logic. Particularly,...