I wrote a couple of days ago about \vee being missing from symbol_def.h,
i found another character, \angle, missing so I looked through the whole
file. A patch to lyx-1.1.2 can be found at the bottom of this message.
There were no more obvious omissions, but perhaps these can be
changed as well:
* LM_Upsilon is defined as 0x55, which in all of my fonts looks just like
the latin Y. There is however a character 0xa1 that looks more like
\Upsilon, but it isn't quite symmetric.
* \diamondsuit and \heartsuit are both filled in my symbol font, perhaps
\diamondsuit at least could be moved to 0xe0 (which also is a diamond).
* \notin could perhaps be mapped to 0xcf as well, not sure about that one
A Very Good Thing IMHO would be to fix a LaTeX symbol -> unicode mapping,
so that lyx could use a unicode symbol font to display LaTeX symbols.
Anyway, here is a patch to fix the two obvious ones.
(I know the file says not to change it, but do it anyway!):
--- src/mathed/symbol_def.h.orig
+++ src/mathed/symbol_def.h
@@ -105,6 +105,8 @@
#define LM_rceil 0xf9
#define LM_rfloor 0xfb
#define LM_mid 0x7c
+#define LM_angle 0xd0
+#define LM_vee 0xda
//#define LM_backslash '\\'
@@ -124,11 +126,11 @@
LM_vdash, LM_dashv, LM_bowtie,
LM_mp, LM_bigtriangleup, LM_ominus, LM_uplus, LM_bigtriangledown,
LM_sqcap, LM_triangleright, LM_sqcup, LM_triangleleft, LM_odot, LM_star,
- LM_vee, LM_amalg, LM_bigcirc, LM_setminus, LM_dagger, LM_circ, LM_wr,
+ LM_amalg, LM_bigcirc, LM_setminus, LM_dagger, LM_circ, LM_wr,
LM_ddagger,
LM_oint, LM_coprod, LM_bigsqcup, LM_bigotimes, LM_bigodot, LM_bigoplus,
LM_bigcap, LM_bigcup, LM_biguplus, LM_bigvee, LM_bigwedge,
- LM_ell, LM_imath, LM_jmath, LM_hbar, LM_angle, LM_top, LM_Vert, LM_flat,
+ LM_ell, LM_imath, LM_jmath, LM_hbar, LM_top, LM_Vert, LM_flat,
LM_natural, LM_triangle,
LM_widehat,LM_widetilde, LM_underline, LM_overline, LM_underbrace,
LM_overbrace, LM_overleftarrow, LM_overightarrow,
regards
n.
--
[ http://www.dtek.chalmers.se/~d95mback/ ] [ PGP: 0x453504F1 ] [ UIN: 4439498 ]
Opinions expressed above are mine, and not those of my future employees.
PGP signature
