diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-03-07 11:04:37 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-03-07 11:04:37 +0100 |
| commit | e09cdea6f1ac5a6d271ed10719b427679900623d (patch) | |
| tree | a46b0c45897afd018141826936ef22de8aed6c82 /library/lexicon.tsv | |
| parent | 3fdbfb1a099ad6caa3aaa53fc16c9e35b8339caa (diff) | |
Fix spacing in finite set expressions
Diffstat (limited to 'library/lexicon.tsv')
| -rw-r--r-- | library/lexicon.tsv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/lexicon.tsv b/library/lexicon.tsv index cf27128..e68633f 100644 --- a/library/lexicon.tsv +++ b/library/lexicon.tsv @@ -1,5 +1,5 @@ operator abs 1 <mo>|</mo><x1/><mo>|</mo> -operator emptyset 0 <mo>∅</mo> +operator emptyset 0 <mi>∅</mi> operator intersect 2 <x1/><mo>∩</mo><x2/> operator pow 1 <mi mathvariant="normal">P</mi><mo>(</mo><x1/><mo>)</mo> operator setminus 2 <x1/><mo>∖</mo><x2/> |