Update proto.tex