-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 07/26/11 23:11, Eli Barzilay wrote: > Two hours ago, Robby Findler wrote: >> On Tue, Jul 26, 2011 at 1:26 PM, Eli Barzilay <e...@barzilay.org> >> wrote: >>> and whether `∨' and `∧' should be bound to `and' and `or' or >>> maybe they should be bound to `for/and' and `for/or'. (There's >>> also the cheap solution of looking for new characters like `⋎' >>> and `⋏' but that's even more cheating...) >> >> and and or, imo. The for/or and for/and ones should be >> "capitalized" versions of those (ie, bigger ones somehow), if they >> exist. > > I don't think that there are such characters.
What's wrong with ⋁ (U+22C1) and ⋀ (U+22C0)? (Also known as bigwedge and bigvee in LaTeX.) Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk46QVMACgkQp/VmCx0OL2zbOACfcEopmqBbCLvaBpL+0adDd5aJ xJcAnisYGFIveK0RPV2oM/n9XeAiJ9qD =sIkr -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
