What's the difference between these two in a table environment?
I've seen they cause somewhat the same result, but I have no idea what is the difference, except that arraystretch is used in a scale factor and extrarowheight seems to be added in length.
\arraystretchin his documentation, but not\extrarowheight(I've scribbled it into my book on the same page). It might lead us to believe that they are functionally equivalent alternatives, but I'm sure David Carlisle will straighten us out :^) – Steven B. Segletes May 15 '13 at 13:20