New tex format of the proposal