  We present an explicit basis for orders of arbitrary level N>1 in definite
rational quaternion algebras. These orders have applications to computations of
spaces of elliptic and quaternionic modular forms.
