Close cycle and correct typo

I think that the autocorrect file needs an overhaul.
This commit is contained in:
Enrico Forestieri 2019-06-03 11:37:15 +02:00
parent 3519be2292
commit 3b1ee92167

View File

@ -24,6 +24,7 @@
\vee * \curlyvee \vee * \curlyvee
\curlyvee * \curlyveeuparrow \curlyvee * \curlyveeuparrow
\curlyveeuparrow * \curlyveedownarrow \curlyveeuparrow * \curlyveedownarrow
\curlyveedownarrow * \vee
< / \nless < / \nless
> / \ngtr > / \ngtr
@ -327,7 +328,7 @@ EE w \wedge
\wedge * \curlywedge \wedge * \curlywedge
\curlywedge * \curlywedgeuparrow \curlywedge * \curlywedgeuparrow
\curlywedgeuparrow * \curlywedgedownarrow \curlywedgeuparrow * \curlywedgedownarrow
\curlywedgedownarrow * \wedges \curlywedgedownarrow * \wedge
EE v \vee EE v \vee
EE x \times EE x \times