OSDN Git Service

(root) / oi-wiki / main.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b6e0cb) | patch
:bug: fix(mobius): 修复了错误的“推出”与“等价”符号
authorMargatroid <i@margatroid.xyz>
Mon, 7 Oct 2019 11:32:29 +0000 (19:32 +0800)
committerGitHub <noreply@github.com>
Mon, 7 Oct 2019 11:32:29 +0000 (19:32 +0800)
commitac21c20394f77dfc96440672fd196dbc6754f48c
tree26992225f1fadc9d470247b9f83ad8a59bdfb669tree | snapshot
parent7b6e0cb982fbad14d17d72153d8d4e32be96473ccommit | diff
:bug: fix(mobius): 修复了错误的“推出”与“等价”符号

\RightArrow 应为 \implies
\LeftRightArrow 应为 \iff
docs/math/mobius.md diff | blob | history
About OSDN
Find Software
Develop Software
Help