Re: File format question

[Asger K. Alstrup Nielsen]

> Why a protected separator is encoded as "\SpecialChar \protected_separator"
> and not "\SpecialChar ~" ? 
> The latter is shorter, and it is more consistent to the encoding of other
> special chars (\SpecialChar \- or \SpecialChar \@.)

I suspect the only reason is historical.

However, to keep compatibility with reLyX, and other LyX document format
converters, we should not change this.

Greets,

Asger