The proba package defines some macros useful for typesetting texts in probability theory. For example, macros are defined to consistently typeset  the probability or conditional probability of an event, or the expectation or conditional expectation of a random variable.