FootNote

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