Comment by fny

Maybe to signal the opposite. I've started using double dashes ever since LLMs stole my favorite symbol.