nicer tex settings