symbol: don't bother to set TeX name if user did not specified one.