some tex settings