pull down to refresh
yep, or they are symbols in use already (delta, prime, dollar).
reply
^500 for an excellent point! Distinctness is a challenge for the written ^, but I'm betting on ease of typing and increasing habitation of the typed realm to take us to the promised land.
reply
A lot of them are not easy to write fast with pen and paper in a way that makes them still recognizable and distinguishable from other symbols. I think that's important.