What happens if two players have the same hand in Texas Hold'em?

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