latex representation of augmented valuations
fix lift()