Neatified some probability related tex snippets.