%% sqr(x) yields the square of x.  It works by multiplying
  %% x by itself.

  Define
    sqr(x) = x*x
  %Define