cortav  Diff

Differences From Artifact [c72ad0a8fc]:

• File sirsem.lua — part of check-in [dd5c3bfcb9] at 2022-09-14 12:22:00 on branch trunk — various improvements (user: lexi, size: 39077) [annotate] [blame] [check-ins using]

To Artifact [7e67a3ff12]:

• File sirsem.lua — part of check-in [84b6c875fb] at 2022-09-30 18:57:32 on branch trunk — "fix" macro bullshit (user: lexi, size: 40380) [annotate] [blame] [check-ins using]

  1639   1639   				end
  1640   1640   			end
  1641   1641   			return c == pc
  1642   1642   		end;
  1643   1643   	};
  1644   1644   }
  1645   1645   ss.mime.exn = ss.exnkind 'MIME error'
         1646  +
         1647  +
         1648  +-- a composition table maps from a compose sequence to the tuple
         1649  +-- {UTF8, htmlentity, UCS codepoint}
         1650  +ss.compseq = {
         1651  +	math = {
         1652  +		{'*', '×', 'times', 0x2A2F};
         1653  +		{'/', '÷', 'divide', 0x00F7};
         1654  +		{'-', '−', 'minus', 0x2212};
         1655  +		{'+-', '±', 'plusmn', 0x00B1};
         1656  +		{'&&', '∧', 'and', 0x2227};
         1657  +		{'||', '∨', 'or', 0x2228};
         1658  +		{'&', '⋏', nil, 0x22CF};
         1659  +		{'|', '⋎', nil, 0x22CE};
         1660  +		{'~', '¬', 'not', 0x00AC};
         1661  +		{'~=', '≠', 'ne', 0x2260};
         1662  +		{'^=', '≜', 'trie', 0x225C};
         1663  +		{':=', '≔', 'coloneq', 0x2254};
         1664  +		{'::=', '⩴', nil, 0x2A74};
         1665  +		{'==', '≡', 'equiv', 0x2261};
         1666  +		{'===', '≣', nil, 0x2263};
         1667  +		{'<=', '≤', 'le', 0x2264};
         1668  +		{'>=', '≥', 'ge', 0x2265};
         1669  +		{'?=', '≟', 'questeq', 0x225F};
         1670  +		{'@<', '∝', 'prop', 0x221D};
         1671  +		{'<>', '⋄', nil, 0x22C4};
         1672  +		{'~~', '≈', 'asymp', 0x2248};
         1673  +		{'<==>', '⟺', 'Longleftrightarrow', 0x27FA};
         1674  +		{'<=>', '⇔', 'hArr', 0x21D4};
         1675  +		{'==>', '⟹', 'DoubleLongRightArrow', 0x27F9};
         1676  +		{'=>', '⇒', 'rArr', 0x21D2};
         1677  +		{'<->', '↔', 'harr', 0x2194};
         1678  +		{'->', '→', 'rarr', 0x2192};
         1679  +		{'<-', '←', 'ShortLeftArrow', 0x2190};
         1680  +		{'~|', '⊕', 'oplus', 0x2295};
         1681  +		{'@A', '∀', 'forall', 0x2200};
         1682  +		{'~@E', '∄', 'NotExists', 0x2204};
         1683  +		{'@E', '∃', 'exist', 0x2203};
         1684  +		{'.*.', '∴', 'therefore', 0x2234};
         1685  +		{'*.*', '∵', 'because', 0x2235};
         1686  +	};
         1687  +};