Comment 3 for bug 379206

Below is the list of the Unicode characters corresponding to this bug. I can confirm I have this bug too, with the package scim-tables-additional 0.5.13-1ubuntu1 .

\neg : ¬
\implies: ⟹ (it should also be encoded as \Longrightarrow)
\lor : ∨ (it already exists as \vee)
\land : ∧ (it already exists as \wedge)
\iff: ⟺ (it should also be encoded as \Longleftrightarrow)

There are a few work arounds already exists
- For \implies, the shorter (\Rightarrow: ⇒) already exists.
- For \iff, the shorter (\Leftrighrarrow : ⇔)