Add ligation configurability

This commit is contained in:
be5invis 2020-10-27 00:36:12 -07:00
parent c1c3ce79ee
commit 2e601b641c
14 changed files with 770 additions and 659 deletions

View file

@ -25,7 +25,7 @@ const trig = TAG("trig");
const ltgt = TAG("ltgt-diamond", "ltgt-ne");
const llggeq_a = TAG("arrow", "llggeq");
const llggeq_b = TAG("arrow2", "llggeq");
const dotOper = TAG("dotoper");
const dotOper = TAG("dot-oper");
const kernDotty = TAG("kern-dotty");
const htmlComment = TAG("html-comment");
const plusPlus = TAG("plusplus");