@chjara Also ⍼
@chjara https://tex.stackexchange.com/questions/640588/what-is-%E2%8D%BC-used-for
a Schelling point for those who seek one