FootNote
Along with some other equally expressive systems, such as category theory.