What would you say the letters NS stand for? Perhaps "Not Standforanything"?
3,113 karma · joined April 1, 2016
Another suggestion: more feedback when two pieces click together - I'm currently dragging it around to check if they're connected. For example, they could lose the outline that separates them, or change outline color to be the same.
It's also a funny historical mirror to an earlier phase of math proof culture: in a previous era, cryptic result dumps were quite common.