A Fortran successor from Guy L. Steele. As you might assume, [http://www.infoq.com/presentations/fortress-steele|his presentation] is fascinating. It's really Unicode, there's an redefinable juxtaposition operator (/a b/ being /a×b/ is redefinable), and on the whole it approaches live math notation: "opr (n:ℕ)! = if n=0 then 1 else n·(n-1)! end".