From f3080a83954bfffb0d188fdf1b155b7c54e0aa6d Mon Sep 17 00:00:00 2001 From: Jens Frank Date: Sat, 28 Aug 2004 18:07:36 +0000 Subject: [PATCH] BUG#162 Added \propto --- math/texutil.ml | 1 + 1 file changed, 1 insertion(+) 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 ") -- 2.20.1