Various tex additions