This commit is contained in:
Georges Dupéron 2017-08-21 22:19:29 +02:00
parent ba5a8796fe
commit 31d4d96016

View File

@ -123,8 +123,9 @@
[ "\\stackrel{?}{=}"] [ "\\stackrel{?}{=}"]
[ "\\stackrel{*}{=}"] [ "\\stackrel{*}{=}"]
[ "\\stackrel{\\scriptscriptstyle\\mathsf{def}}{=}"] [ "\\stackrel{\\scriptscriptstyle\\mathsf{def}}{=}"]
[ "\\exists{}"] [ "\\exists{}" "\\ensuremath{\\exists}"]
[ "\\cdot"] [ "\\cdot{}" "\\ensuremath{\\cdot}"]
[ϱ "\\varrho{}" "\\ensuremath{\\varrho}"]
)) ))
(if (string? str) (if (string? str)
(string-replace* (string-replace*