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: http://git.cyclocoop.org/%22%20.%20generer_url_ecrire%28%22articles%22%2C%22id_article=%24id_article%22%29%20.%20%22?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 "))