diff --git a/dictionary.txt b/dictionary.txt index ecd918b..b0d7c49 100644 --- a/dictionary.txt +++ b/dictionary.txt @@ -1032,3 +1032,4 @@ _rp ₎ \Vvdash ⊪ \nvdash ⊬ \vDash ⊨ +\nvDash ⊭