This commit is contained in:
Enrico Forestieri 2023-03-19 10:50:13 +01:00
parent 4384ac75ff
commit c3be5d1709

View File

@ -121,18 +121,21 @@
= > \Rightarrow
= < \Leftarrow
\Rightarrow = \Longrightarrow
\Leftarrow > \Leftrightarrow
\Leftarrow = \Longleftarrow
\Longleftarrow > \Longleftrightarrow
\leftarrow * \longleftarrow
\longleftarrow * \longleftrightarrow
\longleftrightarrow * \leftarrow
\longleftrightarrow * \leftrightarrow
\leftrightarrow * \leftarrow
\rightarrow * \longrightarrow
\longrightarrow * \longleftrightarrow
\Leftarrow * \Longleftarrow
\Longleftarrow * \Longleftrightarrow
\Longleftrightarrow * \Leftarrow
\Longleftrightarrow * \Leftrightarrow
\Leftrightarrow * \Leftarrow
\Rightarrow * \Longrightarrow
\Longrightarrow * \Longleftrightarrow