<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
On 12/1/2022 10:40 AM, Luciano Notarfrancesco via Cuis-dev wrote:
<blockquote
cite="mid:CAL5GDyqkA0UgnWtFe-91xpvA=-iH3xUi8Fw2-ci8i7-s=n-2Lw@mail.gmail.com"
type="cite">
<div dir="auto">BTW, it seems the syntax highlighter doesn’t
recognize superscripts and subscripts as valid characters for
identifiers (for example when using <span style="font-family:
sans-serif; font-size: 14px; background-color: rgb(248, 249,
250); color: rgb(32, 33, 34);">x₀ as a variable name)</span></div>
<div><br>
</div>
</blockquote>
<br>
Oh yes. Thanks for reporting. Fix is at GitHub now.<br>
<br>
Cheers,<br>
<pre class="moz-signature" cols="72">--
Juan Vuletich
cuis.st
github.com/jvuletich
researchgate.net/profile/Juan-Vuletich
independent.academia.edu/JuanVuletich
patents.justia.com/inventor/juan-manuel-vuletich
linkedin.com/in/juan-vuletich-75611b3
twitter.com/JuanVuletich</pre>
</body>
</html>