Add infty ∞ (#14)

* Add infty ∞
* Add infinity and add tests.

Co-authored-by: Xin Wu <xin.wu@uni-paderborn.de>
Co-authored-by: ArthurSonzogni <sonzogniarthur@gmail.com>
This commit is contained in:
Xin Wu
2021-03-18 21:32:08 +01:00
committed by GitHub
parent 7e755898a3
commit bbf3788823
5 changed files with 124 additions and 43 deletions
+3
View File
@@ -58,3 +58,6 @@ Tau
tau
Omega
omega
infty
infinity