From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.text.pandoc/29557 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Gwern Branwen Newsgroups: gmane.text.pandoc Subject: Advanced equation typesetting, "Nota" Re: Colored equations? (particularly compiling to HTML) Date: Thu, 18 Nov 2021 18:33:39 -0500 Message-ID: References: Reply-To: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="33187"; mail-complaints-to="usenet@ciao.gmane.io" To: pandoc-discuss Original-X-From: pandoc-discuss+bncBDFJXQMSYMIRB6OF3OGAMGQEPLZ4ESY-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Fri Nov 19 00:34:19 2021 Return-path: Envelope-to: gtp-pandoc-discuss@m.gmane-mx.org Original-Received: from mail-oo1-f58.google.com ([209.85.161.58]) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1mnqv5-0008LR-KS for gtp-pandoc-discuss@m.gmane-mx.org; Fri, 19 Nov 2021 00:34:19 +0100 Original-Received: by mail-oo1-f58.google.com with SMTP id q63-20020a4a3342000000b002c25d2d8772sf4894641ooq.11 for ; Thu, 18 Nov 2021 15:34:19 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1637278458; cv=pass; d=google.com; s=arc-20160816; b=q3a+ymHfMNVSnwMpcTWyvRPaCFDdty641VZ50KoqXNYzT17/8XlF907H1tzSaRDzfN yZGtZOfzSuLnAoBLai+tFisVzOu3B5bAOxhibMnFGIaqGIl+WmJIxOjAWEOL2QTSq8QK W+Z+Qi5mL77kn6sjFWQ31DlzbrWgfqqHgNvVRY9jbpGSUi+qzuonfOLlvVF2WJLq5E73 +DqvIUG92V6rsHe4a+kVww8e+XdIGQHzG/q8Xcx9zXUUTckc9LDl/JG66njy9dTuc7Ze iCASSDSGX62vg+N5PspfzQiR48QVu9rUTnqIdQ94fHB7UkWqou1VLxaMh+bFifZbMCol K8FQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:content-transfer-encoding :to:subject:message-id:date:from:in-reply-to:references:mime-version :sender:dkim-signature; bh=tpu1k86uL8u5ba8yhcko1yvDxjY6GOtbVzOOzlxGIss=; b=nW5qpvNC9/07gWJhrxZBh/Be+PjMBmiduPGh5t8C4gM276ZWnpJBFa6SX5+4HoWff4 TRKH+4MfOq2SsbLI+uTpYEoxfgD6rN7FxnHjF1WkMxSGNM23DXBCZGXfGfggsYR2ClY6 +ubYh7XEybVIQR8iDCWWbMbC5uqrvqPZTp1qg5Nzd29wAqJYP8xwc26iUuU9AYEjtlxK uAwrdyyrgOmVgB04MZap/QTIcfg1AKg5fD9dR88Z+b8wEuEqA7vfxAiuY6bQPbeRXicB i8GqUlkfy/jUcNuvUSs7rwwk9+swlvUbTIAj31VsFBEsLsUGe9Ek2KBR9nTmPX3Rtn2O PqXQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 209.85.166.173 as permitted sender) smtp.mailfrom=gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:mime-version:references:in-reply-to:from:date:message-id :subject:to:content-transfer-encoding:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=tpu1k86uL8u5ba8yhcko1yvDxjY6GOtbVzOOzlxGIss=; b=l+Xnu31gIhx97LHFS8OgSE4rEwMWtchdMRnAsxz/TSboe+5TmANI0Gzf0hjMNzOOWT h8TQ8GhmjYu4kNitDjACKNEupC1ZuiJrUJjFzg1IBjK6M5PVmIB/HGpU9uXB3aXA/GaS XOK/V61c+y+S5KjWov342VGrrkZhdoWCBWlmzgkWW42zIYFYGsm7YdUibjJW1ewnaFdW FbT6Sgwo8UD9M2YYlEsNBTl5CRc2dpDyav8ACH0a1+fIhmgAsbwI067ZMwEw+VvVCl/R zoOcQdDOxarkEwfVfFvCm65fpULXtv73c18zq1yNaEjlU7AboJbQdsXxfKMKpg9Lc51d A0DA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:references:in-reply-to:from :date:message-id:subject:to:content-transfer-encoding :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=tpu1k86uL8u5ba8yhcko1yvDxjY6GOtbVzOOzlxGIss=; b=73MV6d76QaWijAQaaW8BcvUUUSOTOSoAIGVOOFSOm1PY64/2ow8SWiRXQwWnxrg3AB h+wXIY1aJ2FzdiQ2wZFyZjgYxvCCiWcdFmAQ9zJuBHVzMWeSsoljOpGNm7bsY8LSi3XD 0SglpMUzC529UPaI0riNIK1p5vRzehBWhmsf77Dlq4LXhl3trtgXF1bvli9Xj57iubOh tZn5kvo0CP4v2y0lIjMc28qnngN68rjTWxX4EfPR7jGMM1tzLlnS+wB3wLZYj60V0acm MsdlloPdsTAa0JCuhcArKZmV8aQ1ece35q1a5Nif1x6/3z/MGUoZvgLpZqz8rMD4NYZR Original-Sender: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org X-Gm-Message-State: AOAM530Dz8yHPSBPlpRnSl3FSHLeKT9naTXnfYFveAuo8BfYZsiKhaDO uIkEfCONRXlMgQLblAOIHw8= X-Google-Smtp-Source: ABdhPJwcctFeoNppigvwHGBMWjsA7w8qQzWnRcLj7sqVupjOypNVCy3BFcQInT3WpA8eLXZLY2VVWA== X-Received: by 2002:a05:6808:148f:: with SMTP id e15mr799195oiw.172.1637278458549; Thu, 18 Nov 2021 15:34:18 -0800 (PST) X-BeenThere: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-Received: by 2002:aca:ab4e:: with SMTP id u75ls497023oie.2.gmail; Thu, 18 Nov 2021 15:34:16 -0800 (PST) X-Received: by 2002:a05:6808:148d:: with SMTP id e13mr855979oiw.140.1637278456884; Thu, 18 Nov 2021 15:34:16 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1637278456; cv=none; d=google.com; s=arc-20160816; b=O8golpVBYMlvxT6AEFjsCmhqOarf3iX9zWPC3xuaBESNuF+HIIrSz1X6z/nAoHPXl/ EbY87ZgRL+n2pCaTQgyaPs+XtKkyX8SGOAQrSqNhxVEnxobscwUJU3f/grFkK1TpOv9r FlkO39mMj1LgqwIxms4m/XFcQ4ZMgEKrSbhgkK+c4ie1ahcJTb+eZLiKruEA4BA2yrB8 7JTSyFvAegF03mkS22uoWzhHDxClFT6nhLtJBk3I2bJgLRD9vnZ+wfnmglJjJ6WitSlv RYEft1XUMRDpKmqCZRbKC5N1JBmAR8q+4zDivjX0JfFDM1pPMKn/0FczrotMtQglK73a OGmA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version; bh=OFTacYhwaZt8yRnAO9iePA+/MejWhVGBnkC7e186fVY=; b=DodUXujpHvifO6JZKnGR2SMfib+hbtoYSpf1gxX3KhA2JF8cBW7Zohok6Fo9wgEldu GlHLyPrMUf/VJ13Lj3SwOplR+o5yapE0kibWOkGXg6R4LJasoZFyzsokAXttS2W9hY/f Nm48qJp85TXx0ZihfBhGGP12DPcgd1dgrM78cAH2X89r/qdYEHJwbBy6RPM5DESbUCBk OhGZ2icWilZBOujY58tvFo/Ssnck99yIb6LH6dG/oMORNOQalHIsgE4haIQiq4JViPvE XYxTWt7MCTPnm3bEMcdhpbov7KS3478Ds2vCjsWaVT9bADcr+QqEchlPELvp3Vm7gQYL qkvg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 209.85.166.173 as permitted sender) smtp.mailfrom=gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Original-Received: from mail-il1-f173.google.com (mail-il1-f173.google.com. [209.85.166.173]) by gmr-mx.google.com with ESMTPS id i6si96625oot.0.2021.11.18.15.34.16 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 18 Nov 2021 15:34:16 -0800 (PST) Received-SPF: pass (google.com: domain of gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 209.85.166.173 as permitted sender) client-ip=209.85.166.173; Original-Received: by mail-il1-f173.google.com with SMTP id j7so1052114ilk.13 for ; Thu, 18 Nov 2021 15:34:16 -0800 (PST) X-Received: by 2002:a05:6e02:15c4:: with SMTP id q4mr1915547ilu.133.1637278456114; Thu, 18 Nov 2021 15:34:16 -0800 (PST) In-Reply-To: X-Original-Sender: gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 209.85.166.173 as permitted sender) smtp.mailfrom=gwern0-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Precedence: list Mailing-list: list pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org; contact pandoc-discuss+owners-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org List-ID: X-Google-Group-Id: 1007024079513 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Xref: news.gmane.io gmane.text.pandoc:29557 Archived-At: Will Crichton has a demo of an advanced equation system he calls "Nota" https://willcrichton.net/nota/ It is currently Tex/HTML-centric https://github.com/willcrichton/nota but he has some prototype code for Markdown version https://github.com/willcrichton/nota/tree/master/packages/nota-markdown and so what his system does might be of interest. > "A New Medium for Communicating Research on Programming Languages", Will = Crichton > > Papers about programming languages involve complex notations, systems, an= d proofs. Static PDFs offer little support in understanding such concepts. = I describe Nota, a framework for academic papers that uses the browser's in= teractive capabilities to support comprehension in context. Nota uses hover= effects, tooltips, expandable sections, toggleable explanations, and other= interactions to help readers understand a language's syntax and semantics.= I demonstrate the use of Nota by rewriting a PL paper using its primitives= , and also by writing this paper in Nota. Nota supports most of the usual typography and conveniences like SVG or margin notes, but the important part is the syntax highlighting for math. The basic idea is to annotate equation elements with popup capabilities, pointing to their definition in the body text. Any variable 't' can be linked to its definition in the text as being "the time variable" etc. The definitions themselves may use defined elements, and can be popped up again, and so on. Because the equations are parsed into the elements instead of being opaque TeX expressions or PNG raster images, they can be colored for syntax highlighting of English vs math: hover over a purple-underlined variable $\pi~mut~$ and and the purple-underlined phrase ' of what the reference points-to.' is highlighted. (He could color the whole text but that can lead to issues with readability.) For kicks, it can run sandboxed code server-side so you can edit Rust code inside the page, and run it to see the results. Pretty neat, and worth a look. -- gwern --=20 You received this message because you are subscribed to the Google Groups "= pandoc-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To view this discussion on the web visit https://groups.google.com/d/msgid/= pandoc-discuss/CAMwO0gy8VefAFb2SuddrH97W9ChR4wiDdxSAvLogG23R268QMQ%40mail.g= mail.com.