>>> Lawrence Velázquez <v...@larryv.me> schrieb am 22.11.2022 um 05:06 in Nachricht <b10cb2ef-87d1-4d0b-a1b6-ec4afe270...@app.fastmail.com>:
[...] >> Despite of that only ":-" is typeset in bold; shouldn't "${" and "}" be >> typeset in bold, too? > > I don't know. It seems like boldface is used to highlight the parts > that are unique to each form. AFAIK, bold means "literal" and non-bold or specifically italics means "placeholder". >From man-pages(7): "(...) boldface is used for as-is text and italics are used to indicate replaceable arguments. Brackets ([]) surround optional arguments, vertical bars (|) separate choices, and ellipses (...) can be repeated. (...)" > > -- > vq