Le 16/07/2022 à 12:54, Kornel Benko a écrit : > We would not need to convert _all_ ERT's, only '\\*'. > But OK, You mean, only when there is no ERT with sole contents "\" just before? :-p JMarc PS: tipa does define \*.