  We first review the nonrelativistic lagrangian theory as a framework for the
MOND equation. Obstructions to a relativistic version of it are discussed
leading up to TeVeS, a relativistic tensor-vector-scalar field theory which
displays both MOND and Newtonian limits. The whys for its particular structure
are discussed and its achievements so far are summarized.
