Closed dlfivefifty closed 6 years ago
People (other than me) don't like non-ASCII, so let's avoid the complaints and make ∂ shorthand for boundary, not the other way around.
∂
boundary
People (other than me) don't like non-ASCII, so let's avoid the complaints and make
∂
shorthand forboundary
, not the other way around.