ℝ-math (pronounced real math) is/will be a math program for real math, as opposed to basic calculation with numbers.