From: Jens Frank Date: Sat, 28 Aug 2004 18:07:36 +0000 (+0000) Subject: BUG#162 Added \propto X-Git-Tag: 1.5.0alpha1~2212 X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/password.php?a=commitdiff_plain;h=f3080a83954bfffb0d188fdf1b155b7c54e0aa6d;p=lhc%2Fweb%2Fwiklou.git BUG#162 Added \propto --- diff --git a/math/texutil.ml b/math/texutil.ml index a814ea3e25..309dd1224b 100644 --- a/math/texutil.ml +++ b/math/texutil.ml @@ -205,6 +205,7 @@ let find = function | "\\hookleftarrow" -> LITERAL (TEX_ONLY "\\hookleftarrow ") | "\\mp" -> LITERAL (TEX_ONLY "\\mp ") | "\\approx" -> LITERAL (TEX_ONLY "\\approx ") + | "\\propto" -> LITERAL (TEX_ONLY "\\propto ") | "\\flat" -> LITERAL (TEX_ONLY "\\flat ") | "\\sharp" -> LITERAL (TEX_ONLY "\\sharp ") | "\\natural" -> LITERAL (TEX_ONLY "\\natural ")