Steffen Wolfrum wrote:
Yes, that's it!!
Thinkling of it like this helps: || is an operator that breaks the left
and right side into separate words. What you see inbetween is controlled
by the optional token inside the bars (the default is a dash).
Taco