Update convderepr.tex