From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B21F47EC76 for ; Fri, 22 Jan 2016 03:12:25 +0100 (CET) IronPort-PHdr: 9a23:nJPI+BfM3mZiI2Aa2KUmxLoJlGMj4u6mDksu8pMizoh2WeGdxc6+ZR7h7PlgxGXEQZ/co6odzbGG7ea5ATBLvcnJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipduKO1kD2GX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBjN2Eu+OXqswPCRE2B/CgySGITxzpFBQTf7RKydJD2t2Outud71DObPuXqSqgzWHK66KByDhTvjXFUZHYC7GjLh5ko3+pgqxW7qkknzg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DYCAAPj6FW/4aDpUVeToQFAYMKhXKyN4FiiAsTAQEBAQEBAQGBCYItgjQhezQFGCWIOp8snz6QPoJggQ8Fjh2IWI1MCWCOGY48IgE/hAQeh1EBAQE X-IPAS-Result: A0DYCAAPj6FW/4aDpUVeToQFAYMKhXKyN4FiiAsTAQEBAQEBAQGBCYItgjQhezQFGCWIOp8snz6QPoJggQ8Fjh2IWI1MCWCOGY48IgE/hAQeh1EBAQE X-IronPort-AV: E=Sophos;i="5.22,328,1449529200"; d="scan'208";a="161186118" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jan 2016 03:12:22 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 412B31A0400; Thu, 21 Jan 2016 17:14:41 -0500 (EST) Date: Thu, 21 Jan 2016 17:14:41 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20160121221441.GA32428@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] omd and math Does omd handle mathematical formulas? -- hendrik