<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>src/Text/Pandoc/CharacterReferences.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-
<a name="line-2"></a>Copyright (C) 2006-2010 John MacFarlane <jgm@berkeley.edu>
<a name="line-3"></a>
<a name="line-4"></a>This program is free software; you can redistribute it and/or modify
<a name="line-5"></a>it under the terms of the GNU General Public License as published by
<a name="line-6"></a>the Free Software Foundation; either version 2 of the License, or
<a name="line-7"></a>(at your option) any later version.
<a name="line-8"></a>
<a name="line-9"></a>This program is distributed in the hope that it will be useful,
<a name="line-10"></a>but WITHOUT ANY WARRANTY; without even the implied warranty of
<a name="line-11"></a>MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
<a name="line-12"></a>GNU General Public License for more details.
<a name="line-13"></a>
<a name="line-14"></a>You should have received a copy of the GNU General Public License
<a name="line-15"></a>along with this program; if not, write to the Free Software
<a name="line-16"></a>Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
<a name="line-17"></a>-}</span>
<a name="line-18"></a>
<a name="line-19"></a><span class='hs-comment'>{- |
<a name="line-20"></a> Module : Text.Pandoc.CharacterReferences
<a name="line-21"></a> Copyright : Copyright (C) 2006-2010 John MacFarlane
<a name="line-22"></a> License : GNU GPL, version 2 or above
<a name="line-23"></a>
<a name="line-24"></a> Maintainer : John MacFarlane <jgm@berkeley.edu>
<a name="line-25"></a> Stability : alpha
<a name="line-26"></a> Portability : portable
<a name="line-27"></a>
<a name="line-28"></a>Functions for parsing character references.
<a name="line-29"></a>-}</span>
<a name="line-30"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Pandoc</span><span class='hs-varop'>.</span><span class='hs-conid'>CharacterReferences</span> <span class='hs-layout'>(</span>
<a name="line-31"></a> <span class='hs-varid'>characterReference</span><span class='hs-layout'>,</span>
<a name="line-32"></a> <span class='hs-varid'>decodeCharacterReferences</span><span class='hs-layout'>,</span>
<a name="line-33"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-34"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <span class='hs-layout'>(</span> <span class='hs-varid'>chr</span> <span class='hs-layout'>)</span>
<a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>ParserCombinators</span><span class='hs-varop'>.</span><span class='hs-conid'>Parsec</span>
<a name="line-36"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Map</span>
<a name="line-37"></a>
<a name="line-38"></a><a name="characterReference"></a><span class='hs-comment'>-- | Parse character entity.</span>
<a name="line-39"></a><span class='hs-definition'>characterReference</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-varid'>st</span> <span class='hs-conid'>Char</span>
<a name="line-40"></a><span class='hs-definition'>characterReference</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-41"></a> <span class='hs-varid'>char</span> <span class='hs-chr'>'&'</span>
<a name="line-42"></a> <span class='hs-varid'>character</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>numRef</span> <span class='hs-varop'><|></span> <span class='hs-varid'>entity</span>
<a name="line-43"></a> <span class='hs-varid'>char</span> <span class='hs-chr'>';'</span>
<a name="line-44"></a> <span class='hs-varid'>return</span> <span class='hs-varid'>character</span>
<a name="line-45"></a>
<a name="line-46"></a><a name="numRef"></a><span class='hs-definition'>numRef</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-varid'>st</span> <span class='hs-conid'>Char</span>
<a name="line-47"></a><span class='hs-definition'>numRef</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-48"></a> <span class='hs-varid'>char</span> <span class='hs-chr'>'#'</span>
<a name="line-49"></a> <span class='hs-varid'>num</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>hexNum</span> <span class='hs-varop'><|></span> <span class='hs-varid'>decNum</span>
<a name="line-50"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>chr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>num</span>
<a name="line-51"></a>
<a name="line-52"></a><a name="hexNum"></a><span class='hs-definition'>hexNum</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-varid'>st</span> <span class='hs-conid'>Int</span>
<a name="line-53"></a><span class='hs-definition'>hexNum</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>oneOf</span> <span class='hs-str'>"Xx"</span> <span class='hs-varop'>>></span> <span class='hs-varid'>many1</span> <span class='hs-varid'>hexDigit</span> <span class='hs-varop'>>>=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-varid'>read</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>xs</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'0'</span><span class='hs-conop'>:</span><span class='hs-chr'>'x'</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span>
<a name="line-54"></a>
<a name="line-55"></a><a name="decNum"></a><span class='hs-definition'>decNum</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-varid'>st</span> <span class='hs-conid'>Int</span>
<a name="line-56"></a><span class='hs-definition'>decNum</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>many1</span> <span class='hs-varid'>digit</span> <span class='hs-varop'>>>=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-varid'>read</span>
<a name="line-57"></a>
<a name="line-58"></a><a name="entity"></a><span class='hs-definition'>entity</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-varid'>st</span> <span class='hs-conid'>Char</span>
<a name="line-59"></a><span class='hs-definition'>entity</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-60"></a> <span class='hs-varid'>body</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>many1</span> <span class='hs-varid'>alphaNum</span>
<a name="line-61"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>findWithDefault</span> <span class='hs-chr'>'?'</span> <span class='hs-varid'>body</span> <span class='hs-varid'>entityTable</span>
<a name="line-62"></a>
<a name="line-63"></a><a name="decodeCharacterReferences"></a><span class='hs-comment'>-- | Convert entities in a string to characters.</span>
<a name="line-64"></a><span class='hs-definition'>decodeCharacterReferences</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-65"></a><span class='hs-definition'>decodeCharacterReferences</span> <span class='hs-varid'>str</span> <span class='hs-keyglyph'>=</span>
<a name="line-66"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>parse</span> <span class='hs-layout'>(</span><span class='hs-varid'>many</span> <span class='hs-layout'>(</span><span class='hs-varid'>characterReference</span> <span class='hs-varop'><|></span> <span class='hs-varid'>anyChar</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>str</span> <span class='hs-varid'>str</span> <span class='hs-keyword'>of</span>
<a name="line-67"></a> <span class='hs-conid'>Left</span> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"\nError: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>err</span>
<a name="line-68"></a> <span class='hs-conid'>Right</span> <span class='hs-varid'>result</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>result</span>
<a name="line-69"></a>
<a name="line-70"></a><a name="entityTable"></a><span class='hs-definition'>entityTable</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-conid'>String</span> <span class='hs-conid'>Char</span>
<a name="line-71"></a><span class='hs-definition'>entityTable</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>fromList</span> <span class='hs-varid'>entityTableList</span>
<a name="line-72"></a>
<a name="line-73"></a><a name="entityTableList"></a><span class='hs-definition'>entityTableList</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>Char</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-74"></a><span class='hs-definition'>entityTableList</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span>
<a name="line-75"></a> <span class='hs-layout'>(</span><span class='hs-str'>"quot"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>34</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-76"></a> <span class='hs-layout'>(</span><span class='hs-str'>"amp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>38</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-77"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lt"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>60</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-78"></a> <span class='hs-layout'>(</span><span class='hs-str'>"gt"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>62</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-79"></a> <span class='hs-layout'>(</span><span class='hs-str'>"nbsp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>160</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-80"></a> <span class='hs-layout'>(</span><span class='hs-str'>"iexcl"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>161</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-81"></a> <span class='hs-layout'>(</span><span class='hs-str'>"cent"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>162</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-82"></a> <span class='hs-layout'>(</span><span class='hs-str'>"pound"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>163</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-83"></a> <span class='hs-layout'>(</span><span class='hs-str'>"curren"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>164</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-84"></a> <span class='hs-layout'>(</span><span class='hs-str'>"yen"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>165</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-85"></a> <span class='hs-layout'>(</span><span class='hs-str'>"brvbar"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>166</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-86"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sect"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>167</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-87"></a> <span class='hs-layout'>(</span><span class='hs-str'>"uml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>168</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-88"></a> <span class='hs-layout'>(</span><span class='hs-str'>"copy"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>169</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-89"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ordf"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>170</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-90"></a> <span class='hs-layout'>(</span><span class='hs-str'>"laquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>171</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-91"></a> <span class='hs-layout'>(</span><span class='hs-str'>"not"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>172</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-92"></a> <span class='hs-layout'>(</span><span class='hs-str'>"shy"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>173</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-93"></a> <span class='hs-layout'>(</span><span class='hs-str'>"reg"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>174</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-94"></a> <span class='hs-layout'>(</span><span class='hs-str'>"macr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>175</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-95"></a> <span class='hs-layout'>(</span><span class='hs-str'>"deg"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>176</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-96"></a> <span class='hs-layout'>(</span><span class='hs-str'>"plusmn"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>177</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-97"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sup2"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>178</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-98"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sup3"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>179</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-99"></a> <span class='hs-layout'>(</span><span class='hs-str'>"acute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>180</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-100"></a> <span class='hs-layout'>(</span><span class='hs-str'>"micro"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>181</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-101"></a> <span class='hs-layout'>(</span><span class='hs-str'>"para"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>182</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-102"></a> <span class='hs-layout'>(</span><span class='hs-str'>"middot"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>183</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-103"></a> <span class='hs-layout'>(</span><span class='hs-str'>"cedil"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>184</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-104"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sup1"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>185</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-105"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ordm"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>186</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-106"></a> <span class='hs-layout'>(</span><span class='hs-str'>"raquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>187</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-107"></a> <span class='hs-layout'>(</span><span class='hs-str'>"frac14"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>188</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-108"></a> <span class='hs-layout'>(</span><span class='hs-str'>"frac12"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>189</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-109"></a> <span class='hs-layout'>(</span><span class='hs-str'>"frac34"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>190</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-110"></a> <span class='hs-layout'>(</span><span class='hs-str'>"iquest"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>191</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-111"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Agrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>192</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-112"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Aacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>193</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-113"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Acirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>194</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-114"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Atilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>195</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-115"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Auml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>196</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-116"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Aring"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>197</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-117"></a> <span class='hs-layout'>(</span><span class='hs-str'>"AElig"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>198</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-118"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ccedil"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>199</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-119"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Egrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>200</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-120"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Eacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>201</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-121"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ecirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>202</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-122"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Euml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>203</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-123"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Igrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>204</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-124"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Iacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>205</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-125"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Icirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>206</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-126"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Iuml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>207</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-127"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ETH"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>208</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-128"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ntilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>209</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-129"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ograve"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>210</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-130"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Oacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>211</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-131"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ocirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>212</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-132"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Otilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>213</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-133"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ouml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>214</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-134"></a> <span class='hs-layout'>(</span><span class='hs-str'>"times"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>215</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-135"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Oslash"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>216</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-136"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ugrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>217</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-137"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Uacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>218</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-138"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Ucirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>219</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-139"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Uuml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>220</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-140"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Yacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>221</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-141"></a> <span class='hs-layout'>(</span><span class='hs-str'>"THORN"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>222</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-142"></a> <span class='hs-layout'>(</span><span class='hs-str'>"szlig"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>223</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-143"></a> <span class='hs-layout'>(</span><span class='hs-str'>"agrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>224</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-144"></a> <span class='hs-layout'>(</span><span class='hs-str'>"aacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>225</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-145"></a> <span class='hs-layout'>(</span><span class='hs-str'>"acirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>226</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-146"></a> <span class='hs-layout'>(</span><span class='hs-str'>"atilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>227</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-147"></a> <span class='hs-layout'>(</span><span class='hs-str'>"auml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>228</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-148"></a> <span class='hs-layout'>(</span><span class='hs-str'>"aring"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>229</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-149"></a> <span class='hs-layout'>(</span><span class='hs-str'>"aelig"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>230</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-150"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ccedil"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>231</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-151"></a> <span class='hs-layout'>(</span><span class='hs-str'>"egrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>232</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-152"></a> <span class='hs-layout'>(</span><span class='hs-str'>"eacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>233</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-153"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ecirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>234</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-154"></a> <span class='hs-layout'>(</span><span class='hs-str'>"euml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>235</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-155"></a> <span class='hs-layout'>(</span><span class='hs-str'>"igrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>236</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-156"></a> <span class='hs-layout'>(</span><span class='hs-str'>"iacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>237</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-157"></a> <span class='hs-layout'>(</span><span class='hs-str'>"icirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>238</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-158"></a> <span class='hs-layout'>(</span><span class='hs-str'>"iuml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>239</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-159"></a> <span class='hs-layout'>(</span><span class='hs-str'>"eth"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>240</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-160"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ntilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>241</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-161"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ograve"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>242</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-162"></a> <span class='hs-layout'>(</span><span class='hs-str'>"oacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>243</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-163"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ocirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>244</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-164"></a> <span class='hs-layout'>(</span><span class='hs-str'>"otilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>245</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-165"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ouml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>246</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-166"></a> <span class='hs-layout'>(</span><span class='hs-str'>"divide"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>247</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-167"></a> <span class='hs-layout'>(</span><span class='hs-str'>"oslash"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>248</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-168"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ugrave"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>249</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-169"></a> <span class='hs-layout'>(</span><span class='hs-str'>"uacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>250</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-170"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ucirc"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>251</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-171"></a> <span class='hs-layout'>(</span><span class='hs-str'>"uuml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>252</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-172"></a> <span class='hs-layout'>(</span><span class='hs-str'>"yacute"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>253</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-173"></a> <span class='hs-layout'>(</span><span class='hs-str'>"thorn"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>254</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-174"></a> <span class='hs-layout'>(</span><span class='hs-str'>"yuml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>255</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-175"></a> <span class='hs-layout'>(</span><span class='hs-str'>"OElig"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>338</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-176"></a> <span class='hs-layout'>(</span><span class='hs-str'>"oelig"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>339</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-177"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Scaron"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>352</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-178"></a> <span class='hs-layout'>(</span><span class='hs-str'>"scaron"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>353</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-179"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Yuml"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>376</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-180"></a> <span class='hs-layout'>(</span><span class='hs-str'>"fnof"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>402</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-181"></a> <span class='hs-layout'>(</span><span class='hs-str'>"circ"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>710</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-182"></a> <span class='hs-layout'>(</span><span class='hs-str'>"tilde"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>732</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-183"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Alpha"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>913</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-184"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Beta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>914</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-185"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Gamma"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>915</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-186"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Delta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>916</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-187"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Epsilon"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>917</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-188"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Zeta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>918</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-189"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Eta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>919</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-190"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Theta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>920</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-191"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Iota"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>921</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-192"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Kappa"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>922</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-193"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Lambda"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>923</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-194"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Mu"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>924</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-195"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Nu"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>925</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-196"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Xi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>926</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-197"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Omicron"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>927</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-198"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Pi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>928</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-199"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Rho"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>929</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-200"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Sigma"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>931</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-201"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Tau"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>932</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-202"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Upsilon"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>933</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-203"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Phi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>934</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-204"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Chi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>935</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-205"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Psi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>936</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-206"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Omega"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>937</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-207"></a> <span class='hs-layout'>(</span><span class='hs-str'>"alpha"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>945</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-208"></a> <span class='hs-layout'>(</span><span class='hs-str'>"beta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>946</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-209"></a> <span class='hs-layout'>(</span><span class='hs-str'>"gamma"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>947</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-210"></a> <span class='hs-layout'>(</span><span class='hs-str'>"delta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>948</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-211"></a> <span class='hs-layout'>(</span><span class='hs-str'>"epsilon"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>949</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-212"></a> <span class='hs-layout'>(</span><span class='hs-str'>"zeta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>950</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-213"></a> <span class='hs-layout'>(</span><span class='hs-str'>"eta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>951</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-214"></a> <span class='hs-layout'>(</span><span class='hs-str'>"theta"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>952</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-215"></a> <span class='hs-layout'>(</span><span class='hs-str'>"iota"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>953</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-216"></a> <span class='hs-layout'>(</span><span class='hs-str'>"kappa"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>954</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-217"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lambda"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>955</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-218"></a> <span class='hs-layout'>(</span><span class='hs-str'>"mu"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>956</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-219"></a> <span class='hs-layout'>(</span><span class='hs-str'>"nu"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>957</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-220"></a> <span class='hs-layout'>(</span><span class='hs-str'>"xi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>958</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-221"></a> <span class='hs-layout'>(</span><span class='hs-str'>"omicron"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>959</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-222"></a> <span class='hs-layout'>(</span><span class='hs-str'>"pi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>960</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-223"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rho"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>961</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-224"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sigmaf"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>962</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-225"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sigma"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>963</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-226"></a> <span class='hs-layout'>(</span><span class='hs-str'>"tau"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>964</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-227"></a> <span class='hs-layout'>(</span><span class='hs-str'>"upsilon"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>965</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-228"></a> <span class='hs-layout'>(</span><span class='hs-str'>"phi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>966</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-229"></a> <span class='hs-layout'>(</span><span class='hs-str'>"chi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>967</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-230"></a> <span class='hs-layout'>(</span><span class='hs-str'>"psi"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>968</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-231"></a> <span class='hs-layout'>(</span><span class='hs-str'>"omega"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>969</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-232"></a> <span class='hs-layout'>(</span><span class='hs-str'>"thetasym"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>977</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-233"></a> <span class='hs-layout'>(</span><span class='hs-str'>"upsih"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>978</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-234"></a> <span class='hs-layout'>(</span><span class='hs-str'>"piv"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>982</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-235"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ensp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8194</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-236"></a> <span class='hs-layout'>(</span><span class='hs-str'>"emsp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8195</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-237"></a> <span class='hs-layout'>(</span><span class='hs-str'>"thinsp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8201</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-238"></a> <span class='hs-layout'>(</span><span class='hs-str'>"zwnj"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8204</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-239"></a> <span class='hs-layout'>(</span><span class='hs-str'>"zwj"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8205</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-240"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lrm"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8206</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-241"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rlm"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8207</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-242"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ndash"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8211</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-243"></a> <span class='hs-layout'>(</span><span class='hs-str'>"mdash"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8212</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-244"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lsquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8216</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-245"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rsquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8217</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-246"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sbquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8218</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-247"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ldquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8220</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-248"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rdquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8221</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-249"></a> <span class='hs-layout'>(</span><span class='hs-str'>"bdquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8222</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-250"></a> <span class='hs-layout'>(</span><span class='hs-str'>"dagger"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8224</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-251"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Dagger"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8225</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-252"></a> <span class='hs-layout'>(</span><span class='hs-str'>"bull"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8226</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-253"></a> <span class='hs-layout'>(</span><span class='hs-str'>"hellip"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8230</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-254"></a> <span class='hs-layout'>(</span><span class='hs-str'>"permil"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8240</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-255"></a> <span class='hs-layout'>(</span><span class='hs-str'>"prime"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8242</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-256"></a> <span class='hs-layout'>(</span><span class='hs-str'>"Prime"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8243</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-257"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lsaquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8249</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-258"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rsaquo"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8250</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-259"></a> <span class='hs-layout'>(</span><span class='hs-str'>"oline"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8254</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-260"></a> <span class='hs-layout'>(</span><span class='hs-str'>"frasl"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8260</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-261"></a> <span class='hs-layout'>(</span><span class='hs-str'>"euro"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8364</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-262"></a> <span class='hs-layout'>(</span><span class='hs-str'>"image"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8465</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-263"></a> <span class='hs-layout'>(</span><span class='hs-str'>"weierp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8472</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-264"></a> <span class='hs-layout'>(</span><span class='hs-str'>"real"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8476</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-265"></a> <span class='hs-layout'>(</span><span class='hs-str'>"trade"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8482</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-266"></a> <span class='hs-layout'>(</span><span class='hs-str'>"alefsym"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8501</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-267"></a> <span class='hs-layout'>(</span><span class='hs-str'>"larr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8592</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-268"></a> <span class='hs-layout'>(</span><span class='hs-str'>"uarr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8593</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-269"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rarr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8594</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-270"></a> <span class='hs-layout'>(</span><span class='hs-str'>"darr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8595</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-271"></a> <span class='hs-layout'>(</span><span class='hs-str'>"harr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8596</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-272"></a> <span class='hs-layout'>(</span><span class='hs-str'>"crarr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8629</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-273"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lArr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8656</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-274"></a> <span class='hs-layout'>(</span><span class='hs-str'>"uArr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8657</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-275"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rArr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8658</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-276"></a> <span class='hs-layout'>(</span><span class='hs-str'>"dArr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8659</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-277"></a> <span class='hs-layout'>(</span><span class='hs-str'>"hArr"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8660</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-278"></a> <span class='hs-layout'>(</span><span class='hs-str'>"forall"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8704</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-279"></a> <span class='hs-layout'>(</span><span class='hs-str'>"part"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8706</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-280"></a> <span class='hs-layout'>(</span><span class='hs-str'>"exist"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8707</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-281"></a> <span class='hs-layout'>(</span><span class='hs-str'>"empty"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8709</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-282"></a> <span class='hs-layout'>(</span><span class='hs-str'>"nabla"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8711</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-283"></a> <span class='hs-layout'>(</span><span class='hs-str'>"isin"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8712</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-284"></a> <span class='hs-layout'>(</span><span class='hs-str'>"notin"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8713</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-285"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ni"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8715</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-286"></a> <span class='hs-layout'>(</span><span class='hs-str'>"prod"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8719</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-287"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sum"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8721</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-288"></a> <span class='hs-layout'>(</span><span class='hs-str'>"minus"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8722</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-289"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lowast"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8727</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-290"></a> <span class='hs-layout'>(</span><span class='hs-str'>"radic"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8730</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-291"></a> <span class='hs-layout'>(</span><span class='hs-str'>"prop"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8733</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-292"></a> <span class='hs-layout'>(</span><span class='hs-str'>"infin"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8734</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-293"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ang"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8736</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-294"></a> <span class='hs-layout'>(</span><span class='hs-str'>"and"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8743</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-295"></a> <span class='hs-layout'>(</span><span class='hs-str'>"or"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8744</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-296"></a> <span class='hs-layout'>(</span><span class='hs-str'>"cap"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8745</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-297"></a> <span class='hs-layout'>(</span><span class='hs-str'>"cup"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8746</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-298"></a> <span class='hs-layout'>(</span><span class='hs-str'>"int"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8747</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-299"></a> <span class='hs-layout'>(</span><span class='hs-str'>"there4"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8756</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-300"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sim"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8764</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-301"></a> <span class='hs-layout'>(</span><span class='hs-str'>"cong"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8773</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-302"></a> <span class='hs-layout'>(</span><span class='hs-str'>"asymp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8776</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-303"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ne"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8800</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-304"></a> <span class='hs-layout'>(</span><span class='hs-str'>"equiv"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8801</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-305"></a> <span class='hs-layout'>(</span><span class='hs-str'>"le"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8804</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-306"></a> <span class='hs-layout'>(</span><span class='hs-str'>"ge"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8805</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-307"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sub"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8834</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-308"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sup"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8835</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-309"></a> <span class='hs-layout'>(</span><span class='hs-str'>"nsub"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8836</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-310"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sube"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8838</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-311"></a> <span class='hs-layout'>(</span><span class='hs-str'>"supe"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8839</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-312"></a> <span class='hs-layout'>(</span><span class='hs-str'>"oplus"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8853</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-313"></a> <span class='hs-layout'>(</span><span class='hs-str'>"otimes"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8855</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-314"></a> <span class='hs-layout'>(</span><span class='hs-str'>"perp"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8869</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-315"></a> <span class='hs-layout'>(</span><span class='hs-str'>"sdot"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8901</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-316"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lceil"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8968</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-317"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rceil"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8969</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-318"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lfloor"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8970</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-319"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rfloor"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>8971</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-320"></a> <span class='hs-layout'>(</span><span class='hs-str'>"lang"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9001</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-321"></a> <span class='hs-layout'>(</span><span class='hs-str'>"rang"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9002</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-322"></a> <span class='hs-layout'>(</span><span class='hs-str'>"loz"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9674</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-323"></a> <span class='hs-layout'>(</span><span class='hs-str'>"spades"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9824</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-324"></a> <span class='hs-layout'>(</span><span class='hs-str'>"clubs"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9827</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-325"></a> <span class='hs-layout'>(</span><span class='hs-str'>"hearts"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9829</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-326"></a> <span class='hs-layout'>(</span><span class='hs-str'>"diams"</span><span class='hs-layout'>,</span> <span class='hs-varid'>chr</span> <span class='hs-num'>9830</span><span class='hs-layout'>)</span>
<a name="line-327"></a> <span class='hs-keyglyph'>]</span>
</pre></body>
</html>
