chiark / gitweb /
~bjharris / bedstead.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8f205a) | patch
Redesigned U+2203 THERE EXISTS
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 2 Jun 2024 15:55:05 +0000 (16:55 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 2 Jun 2024 15:55:05 +0000 (16:55 +0100)
commit0f03141ebd7b3b170c1a89164a63667c7506dab6
treea0ebccf2b45762a8a431b578b49bd902b8f39e3btree | snapshot
parenta8f205ad4cbd8489fb2d5eb567b55993b2e659edcommit | diff
Redesigned U+2203 THERE EXISTS

There seems to be a consensus that the three bars should be the same
length, and that distinguishes the 'rtlm' version from a capital 'E'.
bedstead.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.