Logicographic symbols: A new feature in Theorema (2001)

by B Buchberger
Venue:Tokyo Denki University