The gb4e package provides facilities for formatting numbered examples as used in linguistics. Its strengths are its fully semantic markup and automatic glossing of examples.

Related packages are:

For discussion of the strengths and weaknesses of all three packages, see

Numbered examples in linguistics that I can refer back to

history | show excerpt | excerpt history