From: Arne Heizmann Date: Sun, 14 Nov 2004 15:56:18 +0000 (+0000) Subject: four more symbols: [left|right]harpoon[up|down] X-Git-Tag: 1.5.0alpha1~1335 X-Git-Url: https://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/banques/%7B%7B%20url_for%28%27admin_users%27%29%20%7D%7D?a=commitdiff_plain;h=4c63a677d2a30c182424df7652717103ec268670;p=lhc%2Fweb%2Fwiklou.git four more symbols: [left|right]harpoon[up|down] --- diff --git a/math/texutil.ml b/math/texutil.ml index 4377dfdaed..e9114f38cf 100644 --- a/math/texutil.ml +++ b/math/texutil.ml @@ -374,6 +374,10 @@ let find = function | "\\upharpoonleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upharpoonleft ")) | "\\downharpoonright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downharpoonright ")) | "\\downharpoonleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downharpoonleft ")) + | "\\rightharpoonup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightharpoonup ")) + | "\\rightharpoondown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightharpoondown ")) + | "\\leftharpoonup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftharpoonup ")) + | "\\leftharpoondown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftharpoondown ")) | "\\nless" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nless ")) | "\\Vdash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Vdash ")) | "\\vDash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\vDash "))