diff options
| author | Martin Haug <mhaug@live.de> | 2023-05-08 17:49:25 +0200 |
|---|---|---|
| committer | Martin Haug <mhaug@live.de> | 2023-05-08 17:49:25 +0200 |
| commit | b6a241cad232d920154986781c6f09d83dc1b6f6 (patch) | |
| tree | 4d051a188cc57a349ec12b6ff5b0ac6a4b078180 | |
| parent | 6ad14f55d5a1b5ffef567bf1d63bb2956551bed9 (diff) | |
Left and right double tack
| -rw-r--r-- | library/src/symbols/sym.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index b535203c..2cbd7ad3 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -719,9 +719,11 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { tack: [ r: '⊢', r.long: '⟝', + r.double: '⊨', l: '⊣', l.long: '⟞', l.short: '⫞', + l.double: '⫤', t: '⊥', t.big: '⟘', t.double: '⫫', |