coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ian Zimmerman <itz AT very.loosely.org>
- To: Coq-Club Mailinglist <coq-club AT inria.fr>
- Subject: [Coq-Club] Utf8 and printing
- Date: Wed, 28 Aug 2019 12:29:11 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz AT very.loosely.org; spf=Pass smtp.mailfrom=itz AT very.loosely.org; spf=Pass smtp.helo=postmaster AT very.loosely.org
- Ironport-phdr: 9a23:kJgDfxf7JD+jEtFsXEk/SiLjlGMj4u6mDksu8pMizoh2WeGdxcS8bB7h7PlgxGXEQZ/co6odzbaP6ea5BzRLuM3c+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLq8UbgJduJqksxhbHonZDZvhby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlCsLKzg0+3zMh8dukKxUvg6upx1nw47Vfo6VMuZ+frjAdt8eXGZNQ9pdWzBEDo66aIQBEvcBPf1Ar4bju1QOsRWwBQ6pBOz1yz9IgGL90ak13uklFA3L2hErEdATv3TOtNj7OqccX/6owqfLwjrMc+5Z1jnm5YjUbhwsu+2AUa5qfMbPz0QkCgPLjk+XqYzgJz6b1f4Cs26G5OVjVOKvjmsnpB9rojiq3MgsjJTCi4UUylDY9CR025g1KsOiSE97e9KkFJxQtyaBN4RoRsMjQ3tkuCEgyr0JoJO2ejUBxpogxx7acfOHco6I7wrmVOaWJjd4g2hpd664hxa390Wr1+7yVtGs3VpXrCdInMPAum4N2hHT8MSLVOZx80e71TuO0w3f8uBJLEIumabGKZMszaQ8moQdvEnNBCP6hlj6ga2Qe0454Oan8f7nba/jppKEN497lAX+MqM2l8yhH+s4KAgPU3Kf+eS7073j5lP2QLFKj/EslanZqp/aKdwapq6/HQBVzp4u5wu9AjqoytgUg3kKIVJfdB6ZkoTkO0vCLfH8APunhlSjijZrx/TIPr37BZXNK2DOkLb9fbd88ENc1hQ8zcpf5p5ODrEBJ/XzWlTvu9zcDh41KQu0w/zoCNllzIMRRXqPArOFMKPVqVKH+uUvI/CVaIAJvDb9NuMq6uX1jX45nF8dZbOm0YEWaHC+BPRmIl+WbWDigtcbQi82uV8VS/Wvo1mfW3Z2bne2XqQz4jAgFMryBoDaA4upnbap3SGhH5QQaHoQWX6WFnK9VoyCE8UNbSefOMpolHRQVKSzY5EszwDosAj90LdjP6zT4CJO5sGr78R8++CGzUJ6zjdzFcnIljzUFjAmriYzXzYzmZtHjwl4w1aH37J/hqUIR8Je/eIPVgA9LpPY3qp9Ed+gA1udLOfMc06vR5CdOR90Vsg4mo9cfUtnCpOmiRfY0i67RbgPmO7TXcFmwufnx3H0Yv1F5TPG2a0m1gl0XMZVJCuigalk+gzCQYnTnBfAmg==
Abishkek's question earlier today seems like a good prompt for one that
I wanted to ask for a while.
If I Require Import Utf8 I can enter the Unicode equivalents of the
following symbols, both in Coqide and in Proof General:
forall , exists , \/ , /\ , -> , <-> , ~ , <> , fun , <= , >=
Most of them are also _printed_ in the response window the Unicode way.
But _not_ <= and >= . Why?
--
Please don't Cc: me privately on mailing lists and Usenet,
if you also post the followup to the list or newsgroup.
To reply privately _only_ on Usenet and on broken lists
which rewrite From, fetch the TXT record for no-use.mooo.com.
- [Coq-Club] Utf8 and printing, Ian Zimmerman, 08/28/2019
Archive powered by MHonArc 2.6.18.