From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Simon Josefsson Newsgroups: gmane.emacs.devel Subject: Re: typo in frame.el Date: Fri, 09 Apr 2004 23:33:39 +0200 Sender: emacs-devel-bounces+emacs-devel=quimby.gnus.org@gnu.org Message-ID: References: NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1081546677 8566 80.91.224.253 (9 Apr 2004 21:37:57 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 9 Apr 2004 21:37:57 +0000 (UTC) Cc: Drew Adams , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+emacs-devel=quimby.gnus.org@gnu.org Fri Apr 09 23:37:48 2004 Return-path: Original-Received: from quimby.gnus.org ([80.91.224.244]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1BC3h6-0002NK-00 for ; Fri, 09 Apr 2004 23:37:48 +0200 Original-Received: from monty-python.gnu.org ([199.232.76.173]) by quimby.gnus.org with esmtp (Exim 3.35 #1 (Debian)) id 1BC3h5-0002a0-00 for ; Fri, 09 Apr 2004 23:37:48 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.30) id 1BC3gA-0006Yk-Fa for emacs-devel@quimby.gnus.org; Fri, 09 Apr 2004 17:36:50 -0400 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.30) id 1BC3ee-0004XT-KQ for emacs-devel@gnu.org; Fri, 09 Apr 2004 17:35:16 -0400 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.30) id 1BC3dk-0003Kl-1B for emacs-devel@gnu.org; Fri, 09 Apr 2004 17:34:56 -0400 Original-Received: from [217.13.230.178] (helo=yxa.extundo.com) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.30) id 1BC3d9-0002vk-CS; Fri, 09 Apr 2004 17:33:43 -0400 Original-Received: from latte.josefsson.org (yxa.extundo.com [217.13.230.178]) (authenticated bits=0) by yxa.extundo.com (8.12.11/8.12.11) with ESMTP id i39LXfRm011669 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO); Fri, 9 Apr 2004 23:33:42 +0200 Original-To: David Kastrup X-Hashcash: 0:040409:dak@gnu.org:04dd0e7683b29b4f X-Hashcash: 0:040409:drew.adams@oracle.com:119b747831d15e33 X-Hashcash: 0:040409:emacs-devel@gnu.org:ad3824cd65812f33 In-Reply-To: (David Kastrup's message of "09 Apr 2004 23:11:12 +0200") User-Agent: Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+emacs-devel=quimby.gnus.org@gnu.org Xref: main.gmane.org gmane.emacs.devel:21405 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:21405 David Kastrup writes: > "Drew Adams" writes: > >> How about we use "<=>", conventionally, in doc strings, but we also >> explain this convention in the Emacs manual, for those who have >> never seen it? If we adopt such a convention, then we should perhaps >> also conventionally use "=>" for "implies" ("only if") and "<=" for >> "if". > > I object. Really. This would carry the message that Emacs is > intended for mathematicians and/or scientists as main audience. Apart > from which those symbols are just ASCII art representations from what > they are supposed to be. I agree. The problem seem to be to find a suitable English expression that embodies the same meaning. "Iff" is probably not a good idea, but I'm not sure expanding it to "if and only if" is enough. OTOH, perhaps if the expression is only used in very technical situations, it would be OK. Surely someone who program elisp understand it (although might not understand "iff").