dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
f621158
)
BUG#162 Added \propto
author
Jens Frank
<jeluf@users.mediawiki.org>
Sat, 28 Aug 2004 18:07:36 +0000
(18:07 +0000)
committer
Jens Frank
<jeluf@users.mediawiki.org>
Sat, 28 Aug 2004 18:07:36 +0000
(18:07 +0000)
math/texutil.ml
patch
|
blob
|
history
diff --git
a/math/texutil.ml
b/math/texutil.ml
index
a814ea3
..
309dd12
100644
(file)
--- a/
math/texutil.ml
+++ b/
math/texutil.ml
@@
-205,6
+205,7
@@
let find = function
| "\\hookleftarrow" -> LITERAL (TEX_ONLY "\\hookleftarrow ")
| "\\mp" -> LITERAL (TEX_ONLY "\\mp ")
| "\\approx" -> LITERAL (TEX_ONLY "\\approx ")
+ | "\\propto" -> LITERAL (TEX_ONLY "\\propto ")
| "\\flat" -> LITERAL (TEX_ONLY "\\flat ")
| "\\sharp" -> LITERAL (TEX_ONLY "\\sharp ")
| "\\natural" -> LITERAL (TEX_ONLY "\\natural ")