felix.git/library/lexicon.tsv, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-04-11T23:30:10+00:00 Update lexicon.tsv 2026-04-11T23:30:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-11T23:30:10+00:00 urn:sha1:b6c0cd21cab70670042b364b22b3a8dac46109b2 Update lexicon.tsv 2026-04-10T23:31:04+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-10T23:31:04+00:00 urn:sha1:79a8d81cf67b90c3e37910eba432d538d2044207 Use pi-system notation for finite intersections 2026-03-07T18:47:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T18:47:10+00:00 urn:sha1:9cf87e8f2b9eb3dcbf3466f69f0fb2cef9d9f7dc Fix spacing in finite set expressions 2026-03-07T10:04:37+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T10:04:37+00:00 urn:sha1:e09cdea6f1ac5a6d271ed10719b427679900623d Update lexicon.tsv for MathML Core 2026-03-07T03:11:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T03:11:14+00:00 urn:sha1:f0263a6fee1807d6f4c149d5961a48b76194da9b Update lexicon.tsv 2026-03-07T03:07:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T03:07:14+00:00 urn:sha1:2c02aa9f333567840929284c490ac9474cc60b53 Update lexicon.tsv 2026-03-07T01:07:30+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T01:07:30+00:00 urn:sha1:e94d48f4019cd742da9cbde35a72e76f1dfee9f1 Fix rendering of relation symbols 2026-03-07T00:01:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T00:01:29+00:00 urn:sha1:82c6053b08c5abcc2a0347f8c4ef3b4b1718aa27 Update lexicon.tsv 2026-03-06T23:50:53+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-06T23:50:53+00:00 urn:sha1:f0babf78449e6b2caf93460d40bdc0e80bb58d44 Add HTML rendering skeleton 2026-03-06T23:42:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-06T23:42:55+00:00 urn:sha1:f875b6998dd49950bbd06f7e8be5fc96be7a33f5