From 4c63a677d2a30c182424df7652717103ec268670 Mon Sep 17 00:00:00 2001 From: Arne Heizmann Date: Sun, 14 Nov 2004 15:56:18 +0000 Subject: [PATCH] four more symbols: [left|right]harpoon[up|down] --- math/texutil.ml | 4 ++++ 1 file changed, 4 insertions(+) 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 ")) -- 2.20.1