Return-Path: Received: from comedy.dante.de (comedy.dante.de [5.35.249.60]) by h2774747.stratoserver.net (8.15.2/8.15.2/Debian-3) with ESMTPS id x67JBJhx023915 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Sun, 7 Jul 2019 21:11:19 +0200 Received: from comedy.dante.de (localhost [IPv6:0:0:0:0:0:0:0:1]) by comedy.dante.de (8.15.2/8.15.2/Debian-8) with ESMTP id x67JB7hV008636; Sun, 7 Jul 2019 21:11:08 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=201703; t=1562526668; bh=4JjhgB9ENC97ukqbvsgdC77dcMMluSKQxXRV9lUgHIs=; h=Date:From:To:Subject:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From; b=OGIHUKvOT0WCsvMe04onDOglCygT8qGYBFUznQx6Pc8EtyQMAsXChoSmOMW6T9K2e HFqWRw+7ZPPPSrE4N9hJM54Ar+k7llH7JmZWkpu0UiGvPGyjSWRN/gF62v5tcju0Fw Ti1Yn6basOd14veBZROPoKqzhAxDCV/IhndQRplI= Received: from comedy.dante.de (localhost [127.0.0.1]) by comedy.dante.de (8.15.2/8.15.2/Debian-8) with ESMTP id x67JB6HE008627 for ; Sun, 7 Jul 2019 21:11:06 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=201703; t=1562526666; bh=V6tJ9FEpMsy1iua+Pmgk7CHyMWTG++J/N2+/fyyFIOs=; h=Date:From:To:Subject:From; b=pI0FEOCN/CULaq38A9LfzsT/k+5DnHC0lzzCW+8tHIHgik4c72wIQKNlMv0HiV4Fo c3ZfnwQx8QZcNwKsXFoMfuBksrwuITedELx4DyCAHCxpGAxCq/X/EFYGgligBxiVV0 k5aWpxx2pa4f0WkLVxwj7tH5hNmRvv0xUAkJ3WJ0= Date: Sun, 7 Jul 2019 21:11:06 +0200 (CEST) From: CTAN Portal Service To: ctan-notify-upload@dante.de Message-ID: <2096313285.160.1562526666828.JavaMail.tomcat-ctan@comedy.dante.de> Subject: CTAN Upload: logix MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 X-Scanned-By: MIMEDefang 2.78 on 81.169.212.23 X-Scanned-By: MIMEDefang 2.79 on 5.35.249.60 X-Scanned-By: MIMEDefang 2.79 on 5.35.249.60 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by comedy.dante.de id x67JB6HE008627 X-BeenThere: ctan@ctan.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: CTAN mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ctan-bounces@ctan.org Sender: "Ctan" X-DANTE-Spam-Score: -1.799 () ALL_TRUSTED,DKIM_INVALID,DKIM_SIGNED,MAILING_LIST_MULTI,URIBL_BLOCKED Status: R X-Status: X-Keywords: X-UID: 8182 CTAN upload to file:///serv/www/www.ctan.org/incoming in /serv/www/www.ctan.org/incoming/2019-07-07-21-11-06-619-logix/logix.zip Package: logix [found] Type: silent [found] Version: 2019-07-07 v1.01 Version number: v1.01 [was: 1.00] Version date: 2019-07-07 [was: 2019-07-01] Author: Michael Lee Finney Uploader: Michael Lee Finney Location: fonts/opentype [was: /fonts/logix not found] License: lppl1.3c ofl [unmodified] Home: [was: ] Support: [unmodified] Announce: [unmodified] Bugs: [unmodified] Repository: [unmodified] Development: [unmodified] Topics: [was: font-otf, font] Summary: [changed] Supplement to the Unicode math symbols providing over 3,000 symbols and several environements. Description: [changed]

The logix package provides an Unicode font with over 3,000 symbols to supplement the Unicode math symbols. It is compatible with and complements the AMS STIX2 math fonts, but focuses on new symbols and symbol variants more suited to work in logic. It also provides an environment for drawing knots and three environments for Hilbert style logic definitions and theorems.

@@ -1,4 +1,6 @@ - The package provides a Unicode font with over 3,000 symbols to supplement - the Unicode math symbols. It is compatible with and complements the AMS STIX2 - math fonts, but focuses on new symbols and symbol variants more suited to work - in logic. + The logix package provides an Unicode font with over 3,000 symbols to + supplement the Unicode math symbols. It is compatible with and + complements the AMS STIX2 math fonts, but focuses on new symbols and + symbol variants more suited to work in logic. It also provides an + environment for drawing knots and three environments for Hilbert style logic + definitions and theorems. Announcement: Note: