BUG#162 Added \propto
authorJens Frank <jeluf@users.mediawiki.org>
Sat, 28 Aug 2004 18:07:36 +0000 (18:07 +0000)
committerJens Frank <jeluf@users.mediawiki.org>
Sat, 28 Aug 2004 18:07:36 +0000 (18:07 +0000)
commitf3080a83954bfffb0d188fdf1b155b7c54e0aa6d
treefa646dfec0e22795b2ed0f55437711a7799b9f5a
parentf621158326303d217a24bb2959f67ec7dec11df0
BUG#162 Added \propto
math/texutil.ml