This is a simple attempt trying to copy some of the behaviour found in LaTex theoremsi system.
Guilherme Nakayama
October 8, 2024 6:16pm
MIT