search

qingwen-guan / writeups

The Unlicense
0 stars 0 forks source link

TODO: 箭头改成 \iff \implies \impliedby #125

Open qingwen-guan opened 4 years ago

qingwen-guan commented 4 years ago

还有 \And