How is the pot split when players tie in Texas Hold'em?

Tex answers this question about rules poker. This answer will be filled in by the content generation pipeline.