8000 add dotplus and doteqdot to relation symbols · matplotlib/matplotlib@5ad5a5d · GitHub
[go: up one dir, main page]

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 5ad5a5d

Browse files
zblztacaswell
authored andcommitted
add dotplus and doteqdot to relation symbols
1 parent acd48c6 commit 5ad5a5d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

lib/matplotlib/mathtext.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2107,8 +2107,8 @@ class Parser(object):
21072107
\\subseteq \\supseteq \\cong \\Join
21082108
\\sqsubset \\sqsupset \\neq \\smile
21092109
\\sqsubseteq \\sqsupseteq \\doteq \\frown
2110-
\\in \\ni \\propto
2111-
\\vdash \\dashv \\dots'''.split())
2110+
\\in \\ni \\propto \\vdash
2111+
\\dashv \\dots \\dotplus \\doteqdot'''.split())
21122112

21132113
_arrow_symbols = set('''
21142114
\\leftarrow \\longleftarrow \\uparrow

0 commit comments

Comments
 (0)
0