3 Commits

Author	SHA1	Message	Date
Laurenz	15bc932ec1	Rename infinity symbol	2023-02-02 22:34:53 +01:00
Laurenz	2bb0135d2a	Fix inconsistency between text and idents in math	2023-02-02 22:33:12 +01:00
Laurenz	5f5c659279	Math tests	2023-02-02 14:13:56 +01:00