[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: do use `this' syntax
|
From: |
Emanuel Berg |
|
Subject: |
Re: do use `this' syntax |
|
Date: |
Fri, 30 Jun 2023 17:32:46 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Andreas Schwab wrote:
>> And, does that syntax have a name?
>
> I guess it could be called TeX-like quoting. The doc for
> text-quoting-style calls it `grave' quoting.
Did it appear first in TeX?
Otherwise `grave' quoting is fine by me.
Obey tradition!
--
underground experts united
https://dataswamp.org/~incal