Hi,
The Documentation Project Style Sheet states the one should use the menu separator character when referring to menus. Alas, this character is good only for LTR languages and is not suitable to RTL languages (see: bug 3560<http://bugzilla.lyx.org/show_bug.cgi?id=3560>) . I thought about overcoming this problem using the vartriangleleft character from the AMS Relations. Is this okay? Sincerely, Ran Rutenberg
