Beyond this case-pair intuition, using β to represent sats has two big advantages over all the other proposals I've seen: - Availability: β has shipped in Unicode since 1.0.0 in 1991. It renders in...