`WriteLine(@"{ x : x in RR } in (-oo; +oo)".Simplify());`
Activity
#244