diff libinterp/corefcn/oct-tex-lexer.ll @ 17320:ea23eb07f8ed

Add missing TeX symbols and fix few others (bug #39828). * libinterp/corefcn/oct-tex-lexer.ll (ID): Allow digit characters. * libinterp/corefcn/txt-eng.cc (symbol_names): Add "angle", "ast", "sim", "Leftarrow" and "Rightarrow". (symbol_codes): Likewise. Fix unicode values for symbols "langle" and "rangle".
author Michael Goffioul <michael.goffioul@gmail.com>
date Fri, 23 Aug 2013 11:47:04 -0400
parents 8ce6cdd272eb
children
line wrap: on
line diff
--- a/libinterp/corefcn/oct-tex-lexer.ll	Fri Aug 23 10:07:31 2013 -0400
+++ b/libinterp/corefcn/oct-tex-lexer.ll	Fri Aug 23 11:47:04 2013 -0400
@@ -39,7 +39,7 @@
 %x	COMMAND
 
 D       [0-9]
-ID	[a-zA-Z]
+ID	[a-zA-Z0-9]
 NUM	(({D}+\.?{D}*)|(\.{D}+))
 
 %%