Professor Raúl Rojas has published a book about how symbols have been used throughout history in mathematics. The work was translated into English this year.
Abstract: Mathematical functions are essential to software systems in areas like probabilistic modeling, simulation, and scientific computing. However, verifying their correctness becomes challenging ...