From e17b688a9426d814e334a1ff5c5dc1ea2ac283df Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Wed, 12 Apr 2023 22:27:23 -0700 Subject: [PATCH] src/sage/misc/sagedoc.py: Add latex to unicode mappings --- src/sage/misc/sagedoc.py | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/src/sage/misc/sagedoc.py b/src/sage/misc/sagedoc.py index 2632d0c4359..f0b5a7bc1ff 100644 --- a/src/sage/misc/sagedoc.py +++ b/src/sage/misc/sagedoc.py @@ -44,6 +44,7 @@ import shutil import sys import pydoc +import sage.typeset.unicode_characters as uc from sage.misc.temporary_file import tmp_dir from sage.misc.viewer import browser from sage.misc import sageinspect @@ -95,7 +96,24 @@ (r'\\rvert', '|'), (r'\\mid', '|'), (r' \\circ', ' o'), - (r'\\circ', ' o') + (r'\\circ', ' o'), + (r'\\{', '{'), + (r'\\}', '}'), + (r'\\!', ''), + (r'\\,', ''), + (r'\\;', '\u205F'), + (r'\\dim', 'dim'), + (r'\\in', '\u2208'), + (r'\\phi', '\u03C6'), + (r'\\Lambda', '\u039B'), + (r'\\NN', '\U0001D40D'), + (r'\\QQ', '\U0001D410'), + (r'\\RR', '\U0001D411'), + (r'\\ZZ', '\U0001D419'), + (r'\\otimes', uc.unicode_otimes), + (r'\\wedge', uc.unicode_wedge), + (r'\\bigwedge', uc.unicode_bigwedge), + (r'\\mathbf{k}', '\U0001D424'), ] nonmath_substitutes = [ ('\\_', '_'),