diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-03-07 01:01:29 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-03-07 01:01:29 +0100 |
| commit | 82c6053b08c5abcc2a0347f8c4ef3b4b1718aa27 (patch) | |
| tree | f24e177f10e096f8c421c77bf0d4ce93ed9d5471 /library/lexicon.tsv | |
| parent | f0babf78449e6b2caf93460d40bdc0e80bb58d44 (diff) | |
Fix rendering of relation symbols
Diffstat (limited to 'library/lexicon.tsv')
| -rw-r--r-- | library/lexicon.tsv | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/library/lexicon.tsv b/library/lexicon.tsv index dda643c..135582a 100644 --- a/library/lexicon.tsv +++ b/library/lexicon.tsv @@ -7,7 +7,10 @@ operator union 2 <x1/><mo>∪</mo><x2/> relation elem 0 <mo>∈</mo> relation eq 0 <mo>=</mo> relation neq 0 <mo>≠</mo> -relation ni 0 <mo>∉</mo> +relation meets 0 <mo>⋈</mo> +relation ni 0 <mo>∋</mo> +relation notmeets 0 <mo>⋈̸</mo> relation notelem 0 <mo>∉</mo> relation subset 0 <mo>⊂</mo> relation subseteq 0 <mo>⊆</mo> +relation supseteq 0 <mo>⊇</mo> |