# HG changeset patch
# User nipkow
# Date 1113146403 -7200
# Node ID 666ea7e62384aa379341a169439b6ad8fe8b1749
# Parent  900cf45ff0a611433b47da5d38c57b88559cf05c
Added lots of AMS harpoons

diff -r 900cf45ff0a6 -r 666ea7e62384 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sun Apr 10 17:19:03 2005 +0200
+++ b/lib/texinputs/isabellesym.sty	Sun Apr 10 17:20:03 2005 +0200
@@ -183,6 +183,10 @@
 \newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}}
 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
+\newcommand{\isasymdownharpoonleft}{\isamath{\downharpoonleft}}  %requires amssymb
+\newcommand{\isasymdownharpoonright}{\isamath{\downharpoonright}}  %requires amssymb
+\newcommand{\isasymupharpoonleft}{\isamath{\upharpoonleft}}  %requires amssymb
+\newcommand{\isasymupharpoonright}{\isamath{\upharpoonright}}  %requires amssymb
 \newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires amssymb
 \newcommand{\isasymup}{\isamath{\uparrow}}
 \newcommand{\isasymUp}{\isamath{\Uparrow}}