mikeslab/Iosevka
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions 1

Fix incorrect sample images of ligations

Browse source
This commit is contained in:
Belleve Invis 2020-04-17 22:35:18 -07:00
parent ada6826685
commit 2e32ddf190
9 changed files with 15 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
images/charvars.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 184 KiB

After

Width:  |  Height:  |  Size: 184 KiB

Before After
Before After

BIN
images/languages.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 399 KiB

After

Width:  |  Height:  |  Size: 399 KiB

Before After
Before After

BIN
images/ligations.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 345 KiB

After

Width:  |  Height:  |  Size: 345 KiB

Before After
Before After

BIN
images/matrix.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 174 KiB

After

Width:  |  Height:  |  Size: 174 KiB

Before After
Before After

BIN
images/preview-all.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 337 KiB

After

Width:  |  Height:  |  Size: 337 KiB

Before After
Before After

BIN
images/stylesets.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 955 KiB

After

Width:  |  Height:  |  Size: 955 KiB

Before After
Before After

BIN
images/weights.png
View file

Binary file not shown.
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 318 KiB

After

Width:  |  Height:  |  Size: 318 KiB

Before After
Before After

18
snapshot/index.html
View file

@ -738,7 +738,7 @@
<tr>
<td colspan="2" style="font-feature-settings:'calt' on">
<pre><s>-&lt;&lt;</s> <s>-&lt;</s> <s>-&lt;-</s> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <s>-&gt;-</s> <s>&gt;-</s> <s>&gt;&gt;-</s> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <em class="rank-1">&lt;!--</em></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <em class="rank-1">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-2">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <em class="rank-2">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <em class="rank-1">::</em> <em class="rank-1">:::</em> <s>\/</s> <s>/\</s> <em class="rank-1">==</em> <em class="rank-1">!=</em> <s>/=</s> <s>~=</s> <s>&lt;&gt;</s> <em class="rank-1">===</em> <em class="rank-1">!==</em> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <s>&lt;.</s> <s>&lt;.&gt;</s> <s>.&gt;</s> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <s>(* comm *)</s> <em class="rank-1">++</em> <em class="rank-1">+++</em> <s>|-</s> <s>-|</s></pre>
</td>
@ -750,7 +750,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'dlig' on">
<pre><em class="rank-1">-&lt;&lt;</em> <em class="rank-1">-&lt;</em> <em class="rank-1">-&lt;-</em> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <em class="rank-1">-&gt;-</em> <em class="rank-1">&gt;-</em> <em class="rank-1">&gt;&gt;-</em> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <em class="rank-1">&lt;!--</em></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <em class="rank-1">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <em class="rank-1">::</em> <em class="rank-1">:::</em> <em class="rank-1">\/</em> <em class="rank-1">/\</em> <em class="rank-1">==</em> <em class="rank-1">!=</em> <s>/=</s> <s>~=</s> <em class="rank-1">&lt;&gt;</em> <em class="rank-1">===</em> <em class="rank-1">!==</em> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <em class="rank-1">&lt;.</em> <em class="rank-1">&lt;.&gt;</em> <em class="rank-1">.&gt;</em> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <em class="rank-1">(* comm *)</em> <em class="rank-1">++</em> <em class="rank-1">+++</em> <em class="rank-1">|-</em> <em class="rank-1">-|</em></pre>
</td>
@ -762,7 +762,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'CLIK' on">
<pre><s>-&lt;&lt;</s> <s>-&lt;</s> <s>-&lt;-</s> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <s>-&gt;-</s> <s>&gt;-</s> <s>&gt;&gt;-</s> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <em class="rank-1">&lt;!--</em></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <em class="rank-1">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-2">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <em class="rank-2">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <em class="rank-1">::</em> <em class="rank-1">:::</em> <s>\/</s> <s>/\</s> <em class="rank-1">==</em> <em class="rank-1">!=</em> <s>/=</s> <s>~=</s> <s>&lt;&gt;</s> <em class="rank-2">===</em> <em class="rank-2">!==</em> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <s>&lt;.</s> <s>&lt;.&gt;</s> <s>.&gt;</s> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <s>(* comm *)</s> <em class="rank-1">++</em> <em class="rank-1">+++</em> <s>|-</s> <s>-|</s></pre>
</td>
@ -774,7 +774,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'MLXX' on">
<pre><s>-&lt;&lt;</s> <s>-&lt;</s> <s>-&lt;-</s> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <s>-&gt;-</s> <s>&gt;-</s> <s>&gt;&gt;-</s> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <s>&lt;!--</s></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <s>::</s> <s>:::</s> <em class="rank-1">\/</em> <em class="rank-1">/\</em> <em class="rank-1">==</em> <s>!=</s> <s>/=</s> <s>~=</s> <em class="rank-2">&lt;&gt;</em> <em class="rank-1">===</em> <s>!==</s> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <s>&lt;.</s> <s>&lt;.&gt;</s> <s>.&gt;</s> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <em class="rank-1">(* comm *)</em> <em class="rank-1">++</em> <em class="rank-1">+++</em> <em class="rank-1">|-</em> <em class="rank-1">-|</em></pre>
</td>
@ -786,7 +786,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'FSTA' on">
<pre><s>-&lt;&lt;</s> <s>-&lt;</s> <s>-&lt;-</s> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <s>-&gt;-</s> <s>&gt;-</s> <s>&gt;&gt;-</s> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <s>&lt;!--</s></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <s>::</s> <s>:::</s> <em class="rank-1">\/</em> <em class="rank-1">/\</em> <s>==</s> <s>!=</s> <s>/=</s> <s>~=</s> <s>&lt;&gt;</s> <em class="rank-2">===</em> <s>!==</s> <s>=/=</s> <em class="rank-2">=!=</em></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <s>&lt;.</s> <s>&lt;.&gt;</s> <s>.&gt;</s> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <em class="rank-1">(* comm *)</em> <em class="rank-1">++</em> <em class="rank-1">+++</em> <em class="rank-1">|-</em> <em class="rank-1">-|</em></pre>
</td>
@ -798,7 +798,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'HSKL' on">
<pre><em class="rank-1">-&lt;&lt;</em> <em class="rank-1">-&lt;</em> <em class="rank-1">-&lt;-</em> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <em class="rank-1">-&gt;-</em> <em class="rank-1">&gt;-</em> <em class="rank-1">&gt;&gt;-</em> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <s>&lt;!--</s></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <em class="rank-1">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <em class="rank-1">::</em> <em class="rank-1">:::</em> <em class="rank-1">\/</em> <em class="rank-1">/\</em> <em class="rank-1">==</em> <s>!=</s> <em class="rank-1">/=</em> <s>~=</s> <em class="rank-1">&lt;&gt;</em> <em class="rank-1">===</em> <s>!==</s> <em class="rank-1">=/=</em> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <em class="rank-1">&lt;.</em> <em class="rank-1">&lt;.&gt;</em> <em class="rank-1">.&gt;</em> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <s>(* comm *)</s> <em class="rank-1">++</em> <em class="rank-1">+++</em> <em class="rank-1">|-</em> <em class="rank-1">-|</em></pre>
</td>
@ -810,7 +810,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'SWFT' on">
<pre><em class="rank-1">-&lt;&lt;</em> <em class="rank-1">-&lt;</em> <em class="rank-1">-&lt;-</em> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <em class="rank-1">-&gt;-</em> <em class="rank-1">&gt;-</em> <em class="rank-1">&gt;&gt;-</em> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <s>&lt;!--</s></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <em class="rank-1">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <s>::</s> <s>:::</s> <s>\/</s> <s>/\</s> <em class="rank-1">==</em> <em class="rank-1">!=</em> <s>/=</s> <s>~=</s> <em class="rank-1">&lt;&gt;</em> <em class="rank-1">===</em> <em class="rank-1">!==</em> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <s>&lt;.</s> <s>&lt;.&gt;</s> <s>.&gt;</s> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <s>(* comm *)</s> <em class="rank-1">++</em> <em class="rank-1">+++</em> <s>|-</s> <s>-|</s></pre>
</td>
@ -822,7 +822,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'COQX' on">
<pre><em class="rank-1">-&lt;&lt;</em> <em class="rank-1">-&lt;</em> <em class="rank-1">-&lt;-</em> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <em class="rank-1">-&gt;-</em> <em class="rank-1">&gt;-</em> <em class="rank-1">&gt;&gt;-</em> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <s>&lt;!--</s></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">=&lt;&lt;</em> <em class="rank-1">=&lt;</em> <em class="rank-1">=&lt;=</em> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <em class="rank-1">=&gt;=</em> <em class="rank-1">&gt;=</em> <em class="rank-1">&gt;&gt;=</em> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <s>&lt;!---</s></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <s>::</s> <s>:::</s> <em class="rank-1">\/</em> <em class="rank-1">/\</em> <em class="rank-1">==</em> <s>!=</s> <s>/=</s> <s>~=</s> <em class="rank-2">&lt;&gt;</em> <em class="rank-1">===</em> <s>!==</s> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <em class="rank-1">&lt;.</em> <em class="rank-1">&lt;.&gt;</em> <em class="rank-1">.&gt;</em> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <em class="rank-1">(* comm *)</em> <em class="rank-1">++</em> <em class="rank-1">+++</em> <em class="rank-1">|-</em> <em class="rank-1">-|</em></pre>
</td>
@ -834,7 +834,7 @@
<tr>
<td colspan="2" style="font-feature-settings: 'calt' off, 'MTLB' on">
<pre><s>-&lt;&lt;</s> <s>-&lt;</s> <s>-&lt;-</s> <em class="rank-1">&lt;--</em> <em class="rank-1">&lt;---</em> <em class="rank-1">&lt;&lt;-</em> <em class="rank-1">&lt;-</em> <em class="rank-1">-&gt;</em> <em class="rank-1">-&gt;&gt;</em> <em class="rank-1">--&gt;</em> <em class="rank-1">---&gt;</em> <s>-&gt;-</s> <s>&gt;-</s> <s>&gt;&gt;-</s> <em class="rank-1">&lt;-&gt;</em> <em class="rank-1">&lt;--&gt;</em> <em class="rank-1">&lt;---&gt;</em> <em class="rank-1">&lt;----&gt;</em> <em class="rank-1">&lt;!--</em></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <s>&lt;&lt;=</s> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><s>=&lt;&lt;</s> <s>=&lt;</s> <s>=&lt;=</s> <em class="rank-1">&lt;==</em> <em class="rank-1">&lt;===</em> <em class="rank-1">&lt;&lt;=</em> <em class="rank-1">&lt;=</em> <em class="rank-1">=&gt;</em> <em class="rank-1">=&gt;&gt;</em> <em class="rank-1">==&gt;</em> <em class="rank-1">===&gt;</em> <s>=&gt;=</s> <em class="rank-1">&gt;=</em> <s>&gt;&gt;=</s> <em class="rank-1">&lt;=&gt;</em> <em class="rank-1">&lt;==&gt;</em> <em class="rank-1">&lt;===&gt;</em> <em class="rank-1">&lt;====&gt;</em> <em class="rank-1">&lt;!---</em></pre>
<pre><em class="rank-1">&lt;------</em> <em class="rank-1">------&gt;</em> <em class="rank-1">&lt;=====&gt;</em> <em class="rank-1">&lt;~~</em> <em class="rank-1">&lt;~</em> <em class="rank-1">~&gt;</em> <em class="rank-1">~~&gt;</em> <em class="rank-1">::</em> <em class="rank-1">:::</em> <s>\/</s> <s>/\</s> <em class="rank-1">==</em> <s>!=</s> <s>/=</s> <em class="rank-1">~=</em> <s>&lt;&gt;</s> <em class="rank-1">===</em> <s>!==</s> <s>=/=</s> <s>=!=</s></pre>
<pre><em class="rank-1">:=</em> <em class="rank-1">:-</em> <em class="rank-1">:+</em> <em class="rank-1">&lt;*</em> <em class="rank-1">&lt;*&gt;</em> <em class="rank-1">*&gt;</em> <em class="rank-1">&lt;|</em> <em class="rank-1">&lt;|&gt;</em> <em class="rank-1">|&gt;</em> <s>&lt;.</s> <s>&lt;.&gt;</s> <s>.&gt;</s> <em class="rank-1">+:</em> <em class="rank-1">-:</em> <em class="rank-1">=:</em> <em class="rank-1">&lt;******&gt;</em> <s>(* comm *)</s> <em class="rank-1">++</em> <em class="rank-1">+++</em> <s>|-</s> <s>-|</s></pre>
</td>

11
utility/export-data/ligation-data.js
View file

@ -23,7 +23,8 @@ const logc = TAG("logic");
const brst = TAG("brst");
const trig = TAG("trig");
const ltgt = TAG("ltgt-diamond", "ltgt-ne");
const llggeq = TAG("llggeq");
const llggeq_a = TAG("arrow", "llggeq");
const llggeq_b = TAG("arrow2", "llggeq");
const dotOper = TAG("dotoper");
const kernDotty = TAG("kern-dotty");
const htmlComment = TAG("html-comment");
@ -57,7 +58,7 @@ const ligationSamples = [
arrow2("=<="),
arrow("<=="),
arrow("<==="),
llggeq("<<="),
llggeq_a("<<="),
ineq("<="),
arrow("=>"),
arrow("=>>"),
@ -65,7 +66,7 @@ const ligationSamples = [
arrow("===>"),
arrow2("=>="),
ineq(">="),
llggeq(">>="),
llggeq_b(">>="),
arrow("<=>"),
arrow("<==>"),
arrow("<===>"),
@ -146,7 +147,7 @@ const ligationSamplesNarrow = [
[
arrow("<=="),
arrow("<==="),
llggeq("<<="),
llggeq_a("<<="),
ineq("<="),
arrow("<=>"),
arrow("=>"),
@ -161,7 +162,7 @@ const ligationSamplesNarrow = [
arrow2("=<="),
arrow2("=>="),
ineq(">="),
llggeq(">>="),
llggeq_b(">>="),
arrow("<==>"),
arrow("<===>"),
arrow("<====>")