  The lattice vertex operator V_L associated to a positive definite even
lattice L has an automorphism of order 2 lifted from -1 isometry of L. It is
established that the fixed point vertex operator algebra V_L^+ is rational.
