--- source: tests/mod.rs expression: snap --- lim_(N->oo) sum_(i=0)^N lim N i = 0 N