4 ms·
They're fine in moderation, like for logical signs. I wouldn't want UNICODE symbol soup like Agda code seems to be.
by oxff 5y ago
They're fine in moderation, like for logical signs. I wouldn't want UNICODE symbol soup like Agda code seems to be.