four more symbols: [left|right]harpoon[up|down]
authorArne Heizmann <timwi@users.mediawiki.org>
Sun, 14 Nov 2004 15:56:18 +0000 (15:56 +0000)
committerArne Heizmann <timwi@users.mediawiki.org>
Sun, 14 Nov 2004 15:56:18 +0000 (15:56 +0000)
commit4c63a677d2a30c182424df7652717103ec268670
tree14ed275a2cc1c54c27b5b3d6ae56aa80b934ba28
parent6bfd30bbe06b5003d7ea65f310d9849e4b631ee7
four more symbols: [left|right]harpoon[up|down]
math/texutil.ml