summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx')
-rw-r--r--Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx b/Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx
index 8c6ea2e66e6..da62ebb37be 100644
--- a/Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx
+++ b/Master/texmf-dist/source/fonts/arev/unsetomssymbols.mtx
@@ -53,9 +53,9 @@
\unsetglyph{arrowdblboth}
\unsetglyph{arrownorthwest}
\unsetglyph{arrowsouthwest}
-\unsetglyph{proportional} % Should we use Arev?
+%\unsetglyph{proportional}
\unsetglyph{prime}
-\unsetglyph{infinity} % Should we use Arev?
+%\unsetglyph{infinity}
\unsetglyph{element}
\unsetglyph{owner}
\unsetglyph{triangle}