Added Forces ||- ligature and U+22A2..U+22AF `⊢ ⊣ ⊤ ⊥ ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬…

… ⊭ ⊮ ⊯` (closes #709)
tonsky · Sep 2, 2019 · 468430e · 468430e
1 parent bc96f0e
commit 468430e
Show file tree

Hide file tree

Showing 2 changed files with 869 additions and 21 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -50,6 +50,7 @@ All notable changes to this project will be documented in this file.
   - U+23CF Eject symbol `⏏`
 - Added Coq logical and ` /\ ` and logical or ` \/ ` ligatures, U+2227 `∧` and U+2228 `∨` [#738]
 - Added SystemVerilog `|->` `|=>` and `<-|` `<=|` for symmetry [#695]
+- Added Forces `||-` ligature and U+22A2..U+22AF `⊢ ⊣ ⊤ ⊥ ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯` [#709]
 
 #### 1.207 (April 6, 2019)