3 ms·

What symbol is that? It doesn’t seem to be n or pi. Edit: Weird. It is pi at least in the original article. The left and right tips are cut off for me on HN fo

What symbol is that? It doesn’t seem to be n or pi. Edit: Weird. It is pi at least in the original article. The left and right tips are cut off for me on HN font.