Cliology

3.1.0. Notes on mathematical symbols

Blobs and arrows – basis for graph theory

For All – predicate calculus symbolic extensions