Re: [Octave-bug-tracker] [bug #39831] New Tex interpreter requires delimiters around characters

[Michael D. Godfrey]

On 08/23/2013 07:02 PM, Michael Goffioul wrote:
> Everything considered, I've the impression that the easiest way to handle that
> is to hardcode the symbols into the lexer and let flex handle it. My plan is
> to have a text file with the symbol name and the corresponding font codes, and
> post-process the file to generate: 1) flex rules, 2) symbol->code mapping for
> the text renderer.
This sounds right to me.