From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/16493 Path: main.gmane.org!not-for-mail From: Hans Hagen Newsgroups: gmane.comp.tex.context Subject: Re: mmlprime.pdf by Hans Hagen Date: Sat, 11 Sep 2004 21:44:41 +0200 Sender: ntg-context-bounces@ntg.nl Message-ID: <414355A9.1040205@wxs.nl> References: Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1095405322 8032 80.91.229.6 (17 Sep 2004 07:15:22 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 17 Sep 2004 07:15:22 +0000 (UTC) Original-X-From: ntg-context-bounces@ntg.nl Fri Sep 17 09:15:18 2004 Return-path: Original-Received: from ronja.vet.uu.nl ([131.211.172.88] helo=ronja.ntg.nl) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1C8Cxi-0000k2-00 for ; Fri, 17 Sep 2004 09:15:18 +0200 Original-Received: from localhost (localhost.localdomain [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id C267A12799; Fri, 17 Sep 2004 09:15:17 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (ronja.vet.uu.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 21609-05-6; Fri, 17 Sep 2004 09:15:16 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost.localdomain [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 6C82412791; Fri, 17 Sep 2004 09:15:16 +0200 (CEST) Original-Received: from localhost (localhost.localdomain [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id E9CDC12791 for ; Fri, 17 Sep 2004 09:15:14 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (ronja.vet.uu.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 21609-05-5 for ; Fri, 17 Sep 2004 09:15:14 +0200 (CEST) Original-Received: from mailrelay01.solcon.nl (unknown [212.45.32.200]) by ronja.ntg.nl (Postfix) with ESMTP id 91F6712772 for ; Fri, 17 Sep 2004 09:15:14 +0200 (CEST) Original-Received: from server-1.pragma-net.nl (dsl-212-84-128-085.solcon.nl [212.84.128.85]) by mailrelay01.solcon.nl (8.12.11/SQL-8.12.11-5/8.12.11) with ESMTP id i8H7EQid024533; Fri, 17 Sep 2004 09:14:26 +0200 Original-Received: by server-1.pragma-net.nl (Postfix, from userid 65534) id 311181A93D; Fri, 17 Sep 2004 09:14:26 +0200 (CEST) Original-Received: from [10.100.1.191] (unknown [10.100.1.191]) by server-1.pragma-net.nl (Postfix) with ESMTP id 8D8A61A92F; Fri, 17 Sep 2004 07:14:23 +0000 (UTC) User-Agent: Mozilla Thunderbird 0.6 (Windows/20040502) X-Accept-Language: en-us, en Original-To: Samuel Lelievre , c In-Reply-To: X-Virus-Scanned: clamd / ClamAV version 0.73, clamav-milter version 0.73a on mailrelay01.solcon.nl X-Virus-Status: Clean X-Virus-Scanned: by amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.5 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ntg-context-bounces@ntg.nl X-Virus-Scanned: by amavisd-new at ntg.nl Xref: main.gmane.org gmane.comp.tex.context:16493 X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:16493 Hi Samuel, Thanks for close reading. I corrected the things you mentioned but have a few questions left: (i cc to the context list) % Quantifiers: I think having the quantified identifier in subscript % is a very German notation. % It changes on page 109, with a non-subscript x, but there still % is a vertical bar where I would simply put a comma. can you explain this a bit more, do we need an alternative representation? (mathml completely ignores cultural aspects -) % p. 35 % If prsubset means propersubset, then it looks like % subset and notsubset have been exchanged respectively % with prsubset and notprsubset. I now have: \def\MMLcSUBSET #1#2{\MMLcset\subset} \def\MMLcPRSUBSET #1#2{\MMLcset\subseteq} \def\MMLcNOTSUBSET #1#2{\MMLcset{\not\subset}} \def\MMLcNOTPRSUBSET #1#2{\MMLcset{\not\subseteq}} do you mean that i should swap these? % p. 38 % The symbol for outer product more looks like a tensor product. the mathml standard has no real examples and leaves much to guess, so what do you expect to see (example) % p. 56 % A cardinality is visualized using vertical bars. % [But what exactly is meant with cardinality?] % Are you serious when asking this question? in the formal visualized math way, indeed; i wonder what the result should look like, since the spec is fuzzy % p. 137 sqq. % Most symbols appear as a box with a question mark here. that's because taco still has to finish his unicode math fonts ... Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------