Added alt (<|>) operator and Kleisli arrows (>=> and <=<)

This commit is contained in:
Kirill Pertsev 2016-08-11 19:01:03 -07:00
parent d63ad02959
commit 805f6d44e9
3 changed files with 198 additions and 0 deletions

194
FSEX.ttx
View file

@ -6020,6 +6020,9 @@
<GlyphID id="6014" name="lt_tilde_gt"/>
<GlyphID id="6015" name="lt_caret_gt"/>
<GlyphID id="6016" name="slash_backslash"/>
<GlyphID id="6017" name="alt"/>
<GlyphID id="6018" name="kleisli_fwd"/>
<GlyphID id="6019" name="kleisli_back"/>
</GlyphOrder>
<head>
@ -12153,6 +12156,9 @@
<mtx name="lt_tilde_gt" width="240" lsb="30"/>
<mtx name="lt_caret_gt" width="240" lsb="40"/>
<mtx name="slash_backslash" width="160" lsb="20"/>
<mtx name="alt" width="240" lsb="50"/>
<mtx name="kleisli_fwd" width="240" lsb="50"/>
<mtx name="kleisli_back" width="240" lsb="50"/>
</hmtx>
<VDMX>
@ -42188,6 +42194,191 @@
</assembly></instructions>
</TTGlyph>
<TTGlyph name="alt" xMin="40" yMin="-20" xMax="200" yMax="90">
<contour>
<pt x="80" y="0" on="1"/>
<pt x="80" y="10" on="1"/>
<pt x="70" y="10" on="1"/>
<pt x="70" y="20" on="1"/>
<pt x="60" y="20" on="1"/>
<pt x="60" y="30" on="1"/>
<pt x="50" y="30" on="1"/>
<pt x="50" y="40" on="1"/>
<pt x="60" y="40" on="1"/>
<pt x="60" y="50" on="1"/>
<pt x="70" y="50" on="1"/>
<pt x="70" y="60" on="1"/>
<pt x="80" y="60" on="1"/>
<pt x="80" y="70" on="1"/>
<pt x="100" y="70" on="1"/>
<pt x="100" y="60" on="1"/>
<pt x="90" y="60" on="1"/>
<pt x="90" y="50" on="1"/>
<pt x="80" y="50" on="1"/>
<pt x="80" y="40" on="1"/>
<pt x="70" y="40" on="1"/>
<pt x="70" y="30" on="1"/>
<pt x="80" y="30" on="1"/>
<pt x="80" y="20" on="1"/>
<pt x="90" y="20" on="1"/>
<pt x="90" y="10" on="1"/>
<pt x="100" y="10" on="1"/>
<pt x="100" y="0" on="1"/>
</contour>
<contour>
<pt x="130" y="-20" on="1"/>
<pt x="110" y="-20" on="1"/>
<pt x="110" y="90" on="1"/>
<pt x="130" y="90" on="1"/>
</contour>
<contour>
<pt x="190" y="30" on="1"/>
<pt x="180" y="30" on="1"/>
<pt x="180" y="20" on="1"/>
<pt x="170" y="20" on="1"/>
<pt x="170" y="10" on="1"/>
<pt x="160" y="10" on="1"/>
<pt x="160" y="0" on="1"/>
<pt x="140" y="0" on="1"/>
<pt x="140" y="10" on="1"/>
<pt x="150" y="10" on="1"/>
<pt x="150" y="20" on="1"/>
<pt x="160" y="20" on="1"/>
<pt x="160" y="30" on="1"/>
<pt x="170" y="30" on="1"/>
<pt x="170" y="40" on="1"/>
<pt x="160" y="40" on="1"/>
<pt x="160" y="50" on="1"/>
<pt x="150" y="50" on="1"/>
<pt x="150" y="60" on="1"/>
<pt x="140" y="60" on="1"/>
<pt x="140" y="70" on="1"/>
<pt x="160" y="70" on="1"/>
<pt x="160" y="60" on="1"/>
<pt x="170" y="60" on="1"/>
<pt x="170" y="50" on="1"/>
<pt x="180" y="50" on="1"/>
<pt x="180" y="40" on="1"/>
<pt x="190" y="40" on="1"/>
</contour>
<instructions><assembly>
</assembly></instructions>
</TTGlyph>
<TTGlyph name="kleisli_fwd" xMin="50" yMin="0" xMax="190" yMax="70">
<contour>
<pt x="50" y="70" on="1"/>
<pt x="70" y="70" on="1"/>
<pt x="70" y="60" on="1"/>
<pt x="80" y="60" on="1"/>
<pt x="80" y="50" on="1"/>
<pt x="150" y="50" on="1"/>
<pt x="150" y="60" on="1"/>
<pt x="140" y="60" on="1"/>
<pt x="140" y="70" on="1"/>
<pt x="160" y="70" on="1"/>
<pt x="160" y="60" on="1"/>
<pt x="170" y="60" on="1"/>
<pt x="170" y="50" on="1"/>
<pt x="180" y="50" on="1"/>
<pt x="180" y="40" on="1"/>
<pt x="190" y="40" on="1"/>
<pt x="190" y="30" on="1"/>
<pt x="180" y="30" on="1"/>
<pt x="180" y="20" on="1"/>
<pt x="170" y="20" on="1"/>
<pt x="170" y="10" on="1"/>
<pt x="160" y="10" on="1"/>
<pt x="160" y="0" on="1"/>
<pt x="140" y="0" on="1"/>
<pt x="140" y="10" on="1"/>
<pt x="150" y="10" on="1"/>
<pt x="150" y="20" on="1"/>
<pt x="80" y="20" on="1"/>
<pt x="80" y="10" on="1"/>
<pt x="70" y="10" on="1"/>
<pt x="70" y="0" on="1"/>
<pt x="50" y="0" on="1"/>
<pt x="50" y="10" on="1"/>
<pt x="60" y="10" on="1"/>
<pt x="60" y="20" on="1"/>
<pt x="70" y="20" on="1"/>
<pt x="70" y="30" on="1"/>
<pt x="80" y="30" on="1"/>
<pt x="80" y="40" on="1"/>
<pt x="70" y="40" on="1"/>
<pt x="70" y="50" on="1"/>
<pt x="60" y="50" on="1"/>
<pt x="60" y="60" on="1"/>
<pt x="50" y="60" on="1"/>
</contour>
<contour>
<pt x="100" y="30" on="1"/>
<pt x="170" y="30" on="1"/>
<pt x="170" y="40" on="1"/>
<pt x="100" y="40" on="1"/>
</contour>
<instructions><assembly>
</assembly></instructions>
</TTGlyph>
<TTGlyph name="kleisli_back" xMin="50" yMin="0" xMax="190" yMax="70">
<contour>
<pt x="80" y="70" on="1"/>
<pt x="100" y="70" on="1"/>
<pt x="100" y="60" on="1"/>
<pt x="90" y="60" on="1"/>
<pt x="90" y="50" on="1"/>
<pt x="160" y="50" on="1"/>
<pt x="160" y="60" on="1"/>
<pt x="170" y="60" on="1"/>
<pt x="170" y="70" on="1"/>
<pt x="190" y="70" on="1"/>
<pt x="190" y="60" on="1"/>
<pt x="180" y="60" on="1"/>
<pt x="180" y="50" on="1"/>
<pt x="170" y="50" on="1"/>
<pt x="170" y="40" on="1"/>
<pt x="160" y="40" on="1"/>
<pt x="160" y="30" on="1"/>
<pt x="170" y="30" on="1"/>
<pt x="170" y="20" on="1"/>
<pt x="180" y="20" on="1"/>
<pt x="180" y="10" on="1"/>
<pt x="190" y="10" on="1"/>
<pt x="190" y="0" on="1"/>
<pt x="170" y="0" on="1"/>
<pt x="170" y="10" on="1"/>
<pt x="160" y="10" on="1"/>
<pt x="160" y="20" on="1"/>
<pt x="90" y="20" on="1"/>
<pt x="90" y="10" on="1"/>
<pt x="100" y="10" on="1"/>
<pt x="100" y="0" on="1"/>
<pt x="80" y="0" on="1"/>
<pt x="80" y="10" on="1"/>
<pt x="70" y="10" on="1"/>
<pt x="70" y="20" on="1"/>
<pt x="60" y="20" on="1"/>
<pt x="60" y="30" on="1"/>
<pt x="50" y="30" on="1"/>
<pt x="50" y="40" on="1"/>
<pt x="60" y="40" on="1"/>
<pt x="60" y="50" on="1"/>
<pt x="70" y="50" on="1"/>
<pt x="70" y="60" on="1"/>
<pt x="80" y="60" on="1"/>
</contour>
<contour>
<pt x="70" y="30" on="1"/>
<pt x="140" y="30" on="1"/>
<pt x="140" y="40" on="1"/>
<pt x="70" y="40" on="1"/>
</contour>
<instructions><assembly>
</assembly></instructions>
</TTGlyph>
<TTGlyph name="append" xMin="20" yMin="0" xMax="140" yMax="90">
<contour>
<pt x="80" y="0" on="1"/>
@ -259265,10 +259456,12 @@
</LigatureSet>
<LigatureSet glyph="less">
<Ligature components="less,less" glyph="compose"/>
<Ligature components="bar,greater" glyph="alt"/>
<Ligature components="bar" glyph="compose.elm"/>
<Ligature components="hyphen,greater" glyph="leftrightarrow"/>
<Ligature components="hyphen" glyph="leftarrow"/>
<Ligature components="equal,greater" glyph="uni27FA"/>
<Ligature components="equal,less" glyph="kleisli_back"/>
<Ligature components="equal" glyph="uni27F8"/>
<Ligature components="asterisk,greater" glyph="apply"/>
<Ligature components="dollar,greater" glyph="map"/>
@ -259302,6 +259495,7 @@
<Ligature components="greater" glyph="fwd_compose.elm"/>
</LigatureSet>
<LigatureSet glyph="greater">
<Ligature components="equal,greater" glyph="kleisli_fwd"/>
<Ligature components="greater,equal" glyph="rightshove"/>
<Ligature components="greater,greater" glyph="fwd_compose"/>
</LigatureSet>

Binary file not shown.

Before

Width:  |  Height:  |  Size: 16 KiB

After

Width:  |  Height:  |  Size: 17 KiB

View file

@ -27,4 +27,8 @@ a<~b
a<~>b
b<^>b
a/\b
a<=<b
a>=>b
a<|>b