principia Wiki
principia is a system for documenting formal mathematics.
Brought to you by:
fundagain
[LaTeX] can be arbitrarily extended by using the underlying macro language to develop custom formats. Such macros are often collected into packages. http://en.wikipedia.org/wiki/LaTeX#Typesetting_system