Commit b799fcd90729370309bae5fdd866095baba09c61 Parent ff8d0204002ca07b45dc078e5028864021d785dd Author Pablo <pablo-escobar@riseup.net> Date Mon, 17 Oct 2022 20:02:47 +0000 Minor tweaks in notation