3 ms·I also have an elegant proof, but it does't quite fit in a HN comment.by hokkos 1y agoI also have an elegant proof, but it does't quite fit in a HN comment.glitchc 1y agoNo support for symbols, amirite?