1
0
Fork 0
mirror of synced 2024-05-20 04:23:44 +12:00

Added Forces ||- ligature and U+22A2..U+22AF ⊢ ⊣ ⊤ ⊥ ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯ (closes #709)

This commit is contained in:
Nikita Prokopov 2019-09-02 10:18:47 +07:00
parent bc96f0e0cc
commit 468430e7d2
2 changed files with 872 additions and 24 deletions

View file

@ -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)

File diff suppressed because one or more lines are too long