In the National League (which, until 2022, did not use the designated hitter rule), pinch hitters sometimes bat for pitchers.
Pinch hitters in the National League (which, before 2022, didn't use the designated hitter rule) sometimes took the place of pitchers.