Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 73f746f

Browse files
committed
Add unicode symbol 2295 for pdf docs
1 parent ab725f2 commit 73f746f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/sage_docbuild/conf.py

+1
Original file line numberDiff line numberDiff line change
@@ -501,6 +501,7 @@ def set_intersphinx_mappings(app, config):
501501
\DeclareUnicodeCharacter{2323}{\ensuremath{\smile}} % cup product
502502
\DeclareUnicodeCharacter{00B1}{\ensuremath{\pm}}
503503
\DeclareUnicodeCharacter{2A02}{\ensuremath{\bigotimes}}
504+
\DeclareUnicodeCharacter{2295}{\ensuremath{\oplus}}
504505
\DeclareUnicodeCharacter{2297}{\ensuremath{\otimes}}
505506
\DeclareUnicodeCharacter{2A01}{\ensuremath{\oplus}}
506507
\DeclareUnicodeCharacter{00BD}{\ensuremath{\nicefrac{1}{2}}}

0 commit comments

Comments
 (0)