r1.11.1
This commit is contained in:
Renzhi Li (FA TALENT)
parent
1389cdb4c1
commit
6de085ef04
16 changed files with 59 additions and 36 deletions
|
|
@ -32,17 +32,17 @@ define customDecompositions : object
|
|||
."\u1D7B" "\u026A\u0335"
|
||||
."\u1D7C" "\u0269\u0335"
|
||||
|
||||
."\u1D7F" "\u028A\u0336"
|
||||
."\u0289" "u\u0336"
|
||||
."\u0244" "U\u0336"
|
||||
."\u01E5" "g\u0336"
|
||||
."\u01BB" "2\u0336"
|
||||
."\u024E" "Y\u0336"
|
||||
."\u1D7F" "\u028A\uE091"
|
||||
."\u0289" "u\uE091"
|
||||
."\u0244" "U\uE091"
|
||||
."\u01E5" "g\uE091"
|
||||
."\u01BB" "2\uE091"
|
||||
."\u024E" "Y\uE091"
|
||||
."\u04B0" "\u04AE\u0335"
|
||||
."\u04B1" "\u04AF\u0335"
|
||||
."\u024F" "y\u0336"
|
||||
."\uAB30" "\uAB64\u0336"
|
||||
."\u1D7D" "p\u0336"
|
||||
."\u024F" "y\uE091"
|
||||
."\uAB30" "\uAB64\uE091"
|
||||
."\u1D7D" "p\uE091"
|
||||
|
||||
."\u0142" "l\uE090"
|
||||
."\u013E" "l\u0315"
|
||||
|
|
|
|||
|
|
@ -1133,7 +1133,13 @@ export : define [apply] : begin
|
|||
set-anchor 'overlay' MARK markMiddle (XH / 2) markMiddle (XH / 2)
|
||||
include : HOverlayBar ([mix 0 SB 0.5] - WIDTH) ([mix WIDTH RIGHTSB 0.5] - WIDTH) (XH / 2)
|
||||
|
||||
save 'longBarOver' 0x336
|
||||
save 'longBarOver' 0xE091
|
||||
|
||||
sketch # strikeThrough
|
||||
set-width 0
|
||||
set-anchor 'strike' MARK markMiddle (XH / 2) markMiddle (XH / 2)
|
||||
include : HOverlayBar (0 - WIDTH) (0) (XH / 2)
|
||||
save 'strikeThrough' 0x0336
|
||||
|
||||
sketch # shortSlashOver
|
||||
set-width 0
|
||||
|
|
|
|||
Binary file not shown.
|
Before Width: | Height: | Size: 26 KiB After Width: | Height: | Size: 10 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 97 KiB After Width: | Height: | Size: 44 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 417 KiB After Width: | Height: | Size: 175 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 302 KiB After Width: | Height: | Size: 131 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 153 KiB After Width: | Height: | Size: 67 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 765 KiB After Width: | Height: | Size: 306 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 355 KiB After Width: | Height: | Size: 150 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 81 KiB After Width: | Height: | Size: 40 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 267 KiB After Width: | Height: | Size: 109 KiB |
14
makefile
14
makefile
|
|
@ -1,8 +1,11 @@
|
|||
VERSION = 1.11.0
|
||||
VERSION = 1.11.1
|
||||
|
||||
BUILD = build
|
||||
DIST = dist
|
||||
ARCHIVEDIR = release-archives
|
||||
|
||||
.SECONDARY : scripts
|
||||
|
||||
_start : default
|
||||
|
||||
$(BUILD)/ :
|
||||
|
|
@ -16,6 +19,7 @@ GENERATE = @node --expose-gc $(NODE_FDT_OPTIONS) generator
|
|||
|
||||
###################################################################################################
|
||||
# Standard builds
|
||||
|
||||
$(BUILD)/targets.mk : maker.js $(SCRIPTS) | $(BUILD)/
|
||||
@node maker.js > $@
|
||||
include $(BUILD)/targets.mk
|
||||
|
|
@ -61,6 +65,11 @@ endif
|
|||
|
||||
###################################################################################################
|
||||
# Iosevka standard release scripts
|
||||
|
||||
.PHONY : pages test release sample-images _start default
|
||||
.SECONDARY: fonts-sans fonts-slab web-sans web-slab archive-r-sans archive-r-slab archive-r-sans-term archive-r-sans-cc archive-r-slab-term archive-r-slab-cc archive-r-hooky archive-r-hooky-term archive-r-zshaped archive-r-zshaped-term archive-ttc d-snapshot electronsnaps1
|
||||
|
||||
|
||||
release : archive-r-sans archive-r-slab archive-r-sans-term archive-r-sans-cc archive-r-slab-term archive-r-slab-cc archive-r-hooky archive-r-hooky-term archive-r-zshaped archive-r-zshaped-term archive-ttc pages sample-images
|
||||
|
||||
test : fonts-sans fonts-slab
|
||||
|
|
@ -106,8 +115,11 @@ images/family.png: electronsnaps1
|
|||
|
||||
sample-images: images/family.png images/matrix.png images/weights.png images/variants.png images/opentype.png images/languages.png images/preview-all.png
|
||||
|
||||
|
||||
###################################################################################################
|
||||
# Support Files
|
||||
# DO NOT CHANGE
|
||||
|
||||
PATELC = node ./node_modules/patel/bin/patel-c
|
||||
|
||||
GLYPH_SEGMENTS = glyphs/common-shapes.js glyphs/overmarks.js glyphs/letters-unified-basic.js glyphs/letters-unified-extended.js glyphs/numbers.js glyphs/symbol-punctuation.js glyphs/symbol-math.js glyphs/symbol-letter.js glyphs/symbol-geometric.js glyphs/symbol-other.js glyphs/symbol-braille.js glyphs/autobuilds.js buildglyphs.js
|
||||
|
|
|
|||
34
maker.js
34
maker.js
|
|
@ -48,7 +48,7 @@ function getMapping(options) {
|
|||
options.fileSuffix || "",
|
||||
(weight === "book" ? (slantness === "upright" ? "regular" : "") : weight) + (slantness === "upright" ? "" : slantness)
|
||||
].filter(present).join("-");
|
||||
return {hives, dir, filename, custom: options.custom};
|
||||
return { hives, dir, filename, custom: options.custom };
|
||||
}
|
||||
|
||||
let definedBuildSeqs = {};
|
||||
|
|
@ -67,7 +67,7 @@ function createMake(mapping) {
|
|||
buf += `
|
||||
${tfname} : scripts ${custom || ''} | $(BUILD) $(DIST)/${dir}/
|
||||
@echo Building ${filename} with ${hives.join(' ')}
|
||||
$(GENERATE) ${hives.join(' ')} -o $@ ${cm ? ('--charmap $(BUILD)/'+filename+'.charmap') :''}`;
|
||||
$(GENERATE) ${hives.join(' ')} -o $@ ${cm ? ('--charmap $(BUILD)/' + filename + '.charmap') : ''}`;
|
||||
definedBuildSeqs[tfname] = true;
|
||||
}
|
||||
buf += `
|
||||
|
|
@ -88,7 +88,7 @@ ${woff2Target} : ${target} | $(DIST)/${dir}/web/
|
|||
woff2_compress $<
|
||||
mv $(subst .ttf,.woff2,$<) $@`;
|
||||
|
||||
return {buf, target, woffTarget, woff2Target, cmTarget};
|
||||
return { buf, target, woffTarget, woff2Target, cmTarget };
|
||||
}
|
||||
|
||||
let designGroups = [];
|
||||
|
|
@ -109,18 +109,18 @@ if (argv.custom) {
|
|||
];
|
||||
} else {
|
||||
designGroups = [
|
||||
{name: "sans", design: [], dirPrefix: ""},
|
||||
{name: "slab", design: ["slab"], dirPrefix: ""},
|
||||
{name: "r-sans", design: [], dirPrefix: "01"},
|
||||
{name: "r-sans-term", design: ["term"], dirPrefix: "02"},
|
||||
{name: "r-sans-cc", design: ["cc"], dirPrefix: "03"},
|
||||
{name: "r-slab", design: ["slab"], dirPrefix: "04"},
|
||||
{name: "r-slab-term", design: ["term", "slab"], dirPrefix: "05"},
|
||||
{name: "r-slab-cc", design: ["cc", "slab"], dirPrefix: "06"},
|
||||
{name: "r-hooky", design: [], infix: "hooky", dirPrefix: "07", styles: {upright: ["v-l-hooky", "v-i-hooky"]}},
|
||||
{name: "r-hooky-term", design: ["term"], infix: "hooky-term", dirPrefix: "08", styles: {upright: ["v-l-hooky", "v-i-hooky"]}},
|
||||
{name: "r-zshaped", design: [], infix: "zshaped",dirPrefix: "09", styles: {upright: ["v-l-zshaped", "v-i-zshaped"]}},
|
||||
{name: "r-zshaped-term", design: ["term"], infix: "zshaped-term", dirPrefix: "10", styles: {upright: ["v-l-zshaped", "v-i-zshaped"]}},
|
||||
{ name: "sans", design: [], dirPrefix: "" },
|
||||
{ name: "slab", design: ["slab"], dirPrefix: "" },
|
||||
{ name: "r-sans", design: [], dirPrefix: "01" },
|
||||
{ name: "r-sans-term", design: ["term"], dirPrefix: "02" },
|
||||
{ name: "r-sans-cc", design: ["cc"], dirPrefix: "03" },
|
||||
{ name: "r-slab", design: ["slab"], dirPrefix: "04" },
|
||||
{ name: "r-slab-term", design: ["term", "slab"], dirPrefix: "05" },
|
||||
{ name: "r-slab-cc", design: ["cc", "slab"], dirPrefix: "06" },
|
||||
{ name: "r-hooky", design: [], infix: "hooky", dirPrefix: "07", styles: { upright: ["v-l-hooky", "v-i-hooky"] } },
|
||||
{ name: "r-hooky-term", design: ["term"], infix: "hooky-term", dirPrefix: "08", styles: { upright: ["v-l-hooky", "v-i-hooky"] } },
|
||||
{ name: "r-zshaped", design: [], infix: "zshaped", dirPrefix: "09", styles: { upright: ["v-l-zshaped", "v-i-zshaped"] } },
|
||||
{ name: "r-zshaped-term", design: ["term"], infix: "zshaped-term", dirPrefix: "10", styles: { upright: ["v-l-zshaped", "v-i-zshaped"] } },
|
||||
];
|
||||
}
|
||||
|
||||
|
|
@ -173,8 +173,8 @@ $(DIST)/${groupMapping.dir}/web/ : | $(DIST)/${groupMapping.dir}/
|
|||
if (argv.custom) {
|
||||
} else {
|
||||
const ttcgroups = [
|
||||
{groups: [designGroups[2], designGroups[3], designGroups[4]]},
|
||||
{groups: [designGroups[5], designGroups[6], designGroups[7]]}
|
||||
{ groups: [designGroups[2], designGroups[3], designGroups[4]] },
|
||||
{ groups: [designGroups[5], designGroups[6], designGroups[7]] }
|
||||
];
|
||||
// ttc
|
||||
let ttcs = [];
|
||||
|
|
|
|||
|
|
@ -185,15 +185,19 @@ export : define [apply para glyphList] : begin
|
|||
|
||||
local progLigNameMap
|
||||
.XML_ {'brst', 'logic', 'ml'}
|
||||
.XML0 {'brst', 'logic', 'ml'}
|
||||
.XFS_ {'brst', 'logic', 'fsharp'}
|
||||
.XFS0 {'brst', 'logic', 'fsharp'}
|
||||
.XFST {'brst', 'logic', 'fstar'}
|
||||
.XHS_ {'arrow2', 'dotoper', 'logic', 'haskell'}
|
||||
.XHS0 {'arrow2', 'dotoper', 'logic', 'haskell'}
|
||||
.XIDR {'arrow2', 'dotoper', 'logic', 'idris'}
|
||||
.XELM {'arrow2', 'dotoper', 'logic', 'elm'}
|
||||
.PURS {'arrow2', 'dotoper', 'logic', 'purescript'}
|
||||
.XPTL {'arrow2', 'patel'}
|
||||
.SWFT {'arrow2', 'swift'}
|
||||
.XV__ {'arrow2', 'dotoper', 'logic', 'brst', 'coq'}
|
||||
.XV00 {'arrow2', 'dotoper', 'logic', 'brst', 'coq'}
|
||||
.calt {}
|
||||
|
||||
foreach
|
||||
|
|
|
|||
|
|
@ -18,9 +18,10 @@ app.on('window-all-closed', function () {
|
|||
});
|
||||
|
||||
function combineImages(images, outfile, width, height, doubleTrim) {
|
||||
var command = 'convert ' + images.join(' ') + ' -append -crop ' + width + 'x' + height + '+0+0 +repage -bordercolor #008000 -fuzz 5% -trim ' + (doubleTrim ? '-bordercolor ' + doubleTrim + ' -trim ' : '') + outfile;
|
||||
var command = 'magick ' + images.join(' ') + ' -append -crop ' + width + 'x' + height + '+0+0 +repage -bordercolor #008000 -fuzz 5% -trim ' + (doubleTrim ? '-bordercolor ' + doubleTrim + ' -trim ' : '') + outfile;
|
||||
console.log(command);
|
||||
cp.exec(command, function (err, stdout, stderr) {
|
||||
if (err) console.log(err)
|
||||
images.forEach(function (file) {
|
||||
fs.unlinkSync(file);
|
||||
});
|
||||
|
|
|
|||
|
|
@ -286,14 +286,14 @@
|
|||
</section>
|
||||
|
||||
<section id="ligations">
|
||||
<table> <!-- annoying electron bug -->
|
||||
<table>
|
||||
<tbody><tr class="first"><th>Feature Tag</th><th>Designed For</th></tr>
|
||||
<tr class="note"><td>calt</td><td>Default setting in text editors</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'calt' 1"><pre><s>-<<</s> <s>-<</s> <s>-<-</s> <em><--</em> <em><---</em> <s><<-</s> <em><-</em> <em>-></em> <s>->></s> <em>--></em> <em>---></em> <s>->-</s> <s>>-</s> <s>>>-</s> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><s>=<<</s> <s>=<</s> <s>=<=</s> <em><==</em> <em><===</em> <s><<=</s> <s><=</s> <em>=></em> <s>=>></s> <em>==></em> <em>===></em> <s>=>=</s> <s>>=</s> <s>>>=</s> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <s>a\/b</s> <s>a/\b</s> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <s><.</s> <s><.></s> <s>.></s> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <s>(* comm *)</s> </pre></td></tr><tr class="note"><td>XML_, XFS_, XFST</td><td>ML, OCaml, F#, F*</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'calt' 1"><pre><s>-<<</s> <s>-<</s> <s>-<-</s> <em><--</em> <em><---</em> <s><<-</s> <em><-</em> <em>-></em> <s>->></s> <em>--></em> <em>---></em> <s>->-</s> <s>>-</s> <s>>>-</s> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><s>=<<</s> <s>=<</s> <s>=<=</s> <em><==</em> <em><===</em> <s><<=</s> <s><=</s> <em>=></em> <s>=>></s> <em>==></em> <em>===></em> <s>=>=</s> <s>>=</s> <s>>>=</s> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <s>a\/b</s> <s>a/\b</s> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <s><.</s> <s><.></s> <s>.></s> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <s>(* comm *)</s> </pre></td></tr><tr class="note"><td>XML0, XFS0, XFST</td><td>ML, OCaml, F#, F*</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'XFST' 1"><pre><s>-<<</s> <s>-<</s> <s>-<-</s> <em><--</em> <em><---</em> <s><<-</s> <em><-</em> <em>-></em> <s>->></s> <em>--></em> <em>---></em> <s>->-</s> <s>>-</s> <s>>>-</s> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><s>=<<</s> <s>=<</s> <s>=<=</s> <em><==</em> <em><===</em> <s><<=</s> <s><=</s> <em>=></em> <s>=>></s> <em>==></em> <em>===></em> <s>=>=</s> <s>>=</s> <s>>>=</s> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <em>a\/b</em> <em>a/\b</em> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <s><.</s> <s><.></s> <s>.></s> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <e>(* comm *)</e> </pre></td></tr><tr class="note"><td>SWFT, XPTL</td><td>Swift, PatEL</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'SWFT' 1"><pre><em>-<<</em> <em>-<</em> <em>-<-</em> <em><--</em> <em><---</em> <em><<-</em> <em><-</em> <em>-></em> <em>->></em> <em>--></em> <em>---></em> <em>->-</em> <em>>-</em> <em>>>-</em> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><em>=<<</em> <em>=<</em> <em>=<=</em> <em><==</em> <em><===</em> <em><<=</em> <s><=</s> <em>=></em> <em>=>></em> <em>==></em> <em>===></em> <em>=>=</em> <s>>=</s> <em>>>=</em> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <s>a\/b</s> <s>a/\b</s> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <s><.</s> <s><.></s> <s>.></s> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <s>(* comm *)</s> </pre></td></tr><tr class="note"><td>XHS_, XIDR, XELM, PURS</td><td>Haskell, Idris, Elm, PureScript</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'XHS_' 1"><pre><em>-<<</em> <em>-<</em> <em>-<-</em> <em><--</em> <em><---</em> <em><<-</em> <em><-</em> <em>-></em> <em>->></em> <em>--></em> <em>---></em> <em>->-</em> <em>>-</em> <em>>>-</em> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><em>=<<</em> <em>=<</em> <em>=<=</em> <em><==</em> <em><===</em> <em><<=</em> <s><=</s> <em>=></em> <em>=>></em> <em>==></em> <em>===></em> <em>=>=</em> <s>>=</s> <em>>>=</em> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <em>a\/b</em> <em>a/\b</em> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <em><.</em> <em><.></em> <em>.></em> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <s>(* comm *)</s> </pre></td></tr><tr class="note"><td>XV__</td><td>Coq</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'XV__' 1"><pre><em>-<<</em> <em>-<</em> <em>-<-</em> <em><--</em> <em><---</em> <em><<-</em> <em><-</em> <em>-></em> <em>->></em> <em>--></em> <em>---></em> <em>->-</em> <em>>-</em> <em>>>-</em> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><em>=<<</em> <em>=<</em> <em>=<=</em> <em><==</em> <em><===</em> <em><<=</em> <s><=</s> <em>=></em> <em>=>></em> <em>==></em> <em>===></em> <em>=>=</em> <s>>=</s> <em>>>=</em> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <em>a\/b</em> <em>a/\b</em> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <em><.</em> <em><.></em> <em>.></em> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <e>(* comm *)</e> </pre></td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'SWFT' 1"><pre><em>-<<</em> <em>-<</em> <em>-<-</em> <em><--</em> <em><---</em> <em><<-</em> <em><-</em> <em>-></em> <em>->></em> <em>--></em> <em>---></em> <em>->-</em> <em>>-</em> <em>>>-</em> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><em>=<<</em> <em>=<</em> <em>=<=</em> <em><==</em> <em><===</em> <em><<=</em> <s><=</s> <em>=></em> <em>=>></em> <em>==></em> <em>===></em> <em>=>=</em> <s>>=</s> <em>>>=</em> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <s>a\/b</s> <s>a/\b</s> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <s><.</s> <s><.></s> <s>.></s> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <s>(* comm *)</s> </pre></td></tr><tr class="note"><td>XHS0, XIDR, XELM, PURS</td><td>Haskell, Idris, Elm, PureScript</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'XHS0' 1"><pre><em>-<<</em> <em>-<</em> <em>-<-</em> <em><--</em> <em><---</em> <em><<-</em> <em><-</em> <em>-></em> <em>->></em> <em>--></em> <em>---></em> <em>->-</em> <em>>-</em> <em>>>-</em> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><em>=<<</em> <em>=<</em> <em>=<=</em> <em><==</em> <em><===</em> <em><<=</em> <s><=</s> <em>=></em> <em>=>></em> <em>==></em> <em>===></em> <em>=>=</em> <s>>=</s> <em>>>=</em> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <em>a\/b</em> <em>a/\b</em> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <em><.</em> <em><.></em> <em>.></em> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <s>(* comm *)</s> </pre></td></tr><tr class="note"><td>XV00</td><td>Coq</td></tr>
|
||||
<tr><td colspan="2" style="font-feature-settings:'XV00' 1"><pre><em>-<<</em> <em>-<</em> <em>-<-</em> <em><--</em> <em><---</em> <em><<-</em> <em><-</em> <em>-></em> <em>->></em> <em>--></em> <em>---></em> <em>->-</em> <em>>-</em> <em>>>-</em> <em><-></em> <em><--></em> <em><---></em> <em><----></em> <em><!--</em> </pre><pre><em>=<<</em> <em>=<</em> <em>=<=</em> <em><==</em> <em><===</em> <em><<=</em> <s><=</s> <em>=></em> <em>=>></em> <em>==></em> <em>===></em> <em>=>=</em> <s>>=</s> <em>>>=</em> <em><=></em> <em><==></em> <em><===></em> <em><====></em> <em><!---</em> </pre><pre><em><----------------</em> <em>----------------></em> <em><===============></em> <em>a:b</em> <em>a::b</em> <em>a:::b</em> <em>a\/b</em> <em>a/\b</em> </pre><pre><em>:=</em> <em>:-</em> <em>:+</em> <e><*</e> <e><*></e> <e>*></e> <em><.</em> <em><.></em> <em>.></em> <em>+:</em> <em>-:</em> <em>=:</em> <e><******></e> <e>(* comm *)</e> </pre></td></tr>
|
||||
</tbody></table>
|
||||
</section>
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue