Rename infinity symbol

library/src/symbols/sym.rs

@@ -342,7 +342,8 @@ pub(crate) const SYM: &[(&'static str, Symbol)] = symbols! {
     ],
 
     // Calculus.
-    infty: '∞',
+    infinity: '∞',
+    oo: '∞',
     diff: '∂',
     nabla: '∇',
     sum: ['∑', integral: '⨋'],

tests/typ/math/attach.typ

@@ -26,7 +26,7 @@ $ (-1)^n + (1/2 + 3)^(-1/2) $
 
 ---
 // Test limit.
-$ lim_(n->infty \ n "grows") sum_(k=0 \ k in NN)^n k $
+$ lim_(n->oo \ n "grows") sum_(k=0 \ k in NN)^n k $
 
 ---
 // Test forcing scripts and limits.

tests/typ/math/op.typ

@@ -12,8 +12,8 @@ $  &sin x + log_2 x \
 ---
 // Test scripts vs limits.
 #set text("Latin Modern Roman")
-Discuss $lim_(n->infty) 1/n$ now.
+Discuss $lim_(n->oo) 1/n$ now.
-$ lim_(n->infty) 1/n = 0 $
+$ lim_(n->infinity) 1/n = 0 $
 
 ---
 // Test custom operator.