unicodesymbols: add PROPORTIONAL TO, I stumbled over this today,

OK for branch as well?

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@28372 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index 048f7bd4205e7d9afba2362159812e4208c62f2c..cff94501be174bbf4658e095cad49ac441ff9fdf 100644 (file)
--- a/lib/unicodesymbols
+++ b/lib/unicodesymbols
@@ -1500,6 +1500,7 @@
 0x2217 "\\textasteriskcentered"   "textcomp" "" # ASTERISK OPERATOR
 0x2219 ""                         "" "" "\\centerdot" "amssymb" # BULLET OPERATOR
 0x221a "\\textsurd"               "textcomp" "" # SQUARE ROOT
+0x221d ""                         "" "" "\\propto" # PROPORTIONAL TO
 0x221e ""                         "" "" "\\infty" # INFINITY
 # use the following macro for the character RIGHT ANGLE
 0x221f "\\LyXrightangle" "\\newcommand*\\LyXrightangle{{\\usefont{U}{msa}{m}{n}\\char120}}" ""