s/Mu/μ and s/Nu/ν.
Testing the co-induction principle for streams.