use tex labels etc