ugk

“A planimeter is a table-top instrument for measuring areas, usually the areas of irregular regions on a map or photograph. They were once common, but have now largely been replaced by digital tools.”

The arrows generally indicate addition of new symbols and/or axioms. Arrows that meet indicate the combination of structures - for instance, an algebra is a vector space that is also a ring, and a Lie group is a group that more...