⌣ measurement

Created at 2024-03-07, last modified at 2025-08-07.
This is a Lens note.