In the example shared in notebook for Tactic Using Delimiters, I noticed removing them didn’t change the output. Why is that? I guess there would be examples where it definitely would make a difference.
Another interesting thing I noticed. I included the backticks. But also added some more related texts. Ideally that additional text shouln’t be part of summary since it is not in backticks.
but it still is. How are delimiters really useful then?
With ticks + extra text after ticks