data Glyph = Euro | CircleR | CircleC | TradeMark | ServiceMark
| Emdash | Ellipsis | Cent | Daggar | DoubleDaggar
| Clover | Flat | Sharp | Natural | CheckMark | XMark
- | LeftArrow | DoubleLeftArrow | DoubleRightArrow
+ | LeftArrow | RightArrow | DoubleLeftArrow | DoubleRightArrow
| DoubleLeftRightArrow | LeftRightArrow | Degree
data Login = Login String (Maybe String)
toHtml (GlyphText Sharp) = "⋘"
toHtml (GlyphText CheckMark) = "✓"
toHtml (GlyphText XMark) = "✗"
- toHtml (GlyphText LeftArrow) = "&#;" -- FIXME
+ toHtml (GlyphText LeftArrow) = "←"
+ toHtml (GlyphText RightArrow) = "→"
toHtml (GlyphText DoubleLeftArrow) = "&#;" -- FIXME
toHtml (GlyphText DoubleRightArrow) = "&#;" -- FIXME
toHtml (GlyphText DoubleLeftRightArrow) = "&#;" -- FIXME