latex: label, ref, eqref