<?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>Text/HTML/TagSoup/Entity.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>-- | This module converts between HTML/XML entities (i.e. @&amp;@) and</span> <a name="line-2"></a><span class='hs-comment'>-- the characters they represent.</span> <a name="line-3"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span><span class='hs-varop'>.</span><span class='hs-conid'>TagSoup</span><span class='hs-varop'>.</span><span class='hs-conid'>Entity</span><span class='hs-layout'>(</span> <a name="line-4"></a> <span class='hs-varid'>lookupEntity</span><span class='hs-layout'>,</span> <span class='hs-varid'>lookupNamedEntity</span><span class='hs-layout'>,</span> <span class='hs-varid'>lookupNumericEntity</span><span class='hs-layout'>,</span> <a name="line-5"></a> <span class='hs-varid'>escapeXMLChar</span><span class='hs-layout'>,</span> <a name="line-6"></a> <span class='hs-varid'>xmlEntities</span><span class='hs-layout'>,</span> <span class='hs-varid'>htmlEntities</span> <a name="line-7"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-8"></a> <a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Ix</span> <a name="line-11"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Numeric</span> <a name="line-12"></a> <a name="line-13"></a> <a name="line-14"></a><a name="lookupEntity"></a><span class='hs-comment'>-- | Lookup an entity, using 'lookupNumericEntity' if it starts with</span> <a name="line-15"></a><span class='hs-comment'>-- @#@ and 'lookupNamedEntity' otherwise</span> <a name="line-16"></a><span class='hs-definition'>lookupEntity</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Char</span> <a name="line-17"></a><span class='hs-definition'>lookupEntity</span> <span class='hs-layout'>(</span><span class='hs-chr'>'#'</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>lookupNumericEntity</span> <span class='hs-varid'>xs</span> <a name="line-18"></a><span class='hs-definition'>lookupEntity</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>lookupNamedEntity</span> <span class='hs-varid'>xs</span> <a name="line-19"></a> <a name="line-20"></a><a name="lookupNumericEntity"></a><span class='hs-comment'>-- | Lookup a numeric entity, the leading @\'#\'@ must have already been removed.</span> <a name="line-21"></a><span class='hs-comment'>--</span> <a name="line-22"></a><span class='hs-comment'>-- > lookupNumericEntity "65" == Just 'A'</span> <a name="line-23"></a><span class='hs-comment'>-- > lookupNumericEntity "x41" == Just 'A'</span> <a name="line-24"></a><span class='hs-comment'>-- > lookupNumericEntity "x4E" === Just 'N'</span> <a name="line-25"></a><span class='hs-comment'>-- > lookupNumericEntity "x4e" === Just 'N'</span> <a name="line-26"></a><span class='hs-comment'>-- > lookupNumericEntity "Haskell" == Nothing</span> <a name="line-27"></a><span class='hs-comment'>-- > lookupNumericEntity "" == Nothing</span> <a name="line-28"></a><span class='hs-comment'>-- > lookupNumericEntity "89439085908539082" == Nothing</span> <a name="line-29"></a><span class='hs-definition'>lookupNumericEntity</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Char</span> <a name="line-30"></a><span class='hs-definition'>lookupNumericEntity</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <a name="line-31"></a> <span class='hs-comment'>-- entity = '&#' [0-9]+ ';' | '&#x' [0-9a-fA-F]+ ';'</span> <a name="line-32"></a> <span class='hs-keyword'>where</span> <a name="line-33"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-chr'>'x'</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-chr'>'0'</span><span class='hs-layout'>,</span><span class='hs-chr'>'9'</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-chr'>'a'</span><span class='hs-layout'>,</span><span class='hs-chr'>'f'</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-chr'>'A'</span><span class='hs-layout'>,</span><span class='hs-chr'>'F'</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>readHex</span> <span class='hs-varid'>xs</span> <a name="line-34"></a> <span class='hs-varid'>f</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-chr'>'0'</span><span class='hs-layout'>,</span><span class='hs-chr'>'9'</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>reads</span> <span class='hs-varid'>xs</span> <a name="line-35"></a> <a name="line-36"></a> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Char</span><span class='hs-layout'>,</span><span class='hs-conid'>Char</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ReadS</span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Char</span> <a name="line-37"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>valid</span> <span class='hs-varid'>reader</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-38"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>test</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>b</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>()</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span> <a name="line-39"></a> <span class='hs-varid'>test</span> <span class='hs-varop'>$</span> <span class='hs-varid'>isValid</span> <span class='hs-varid'>valid</span> <span class='hs-varid'>xs</span> <a name="line-40"></a> <span class='hs-varid'>test</span> <span class='hs-varop'>$</span> <span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-varid'>null</span> <span class='hs-varid'>xs</span> <a name="line-41"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>reader</span> <span class='hs-varid'>xs</span> <span class='hs-keyword'>of</span> <a name="line-42"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-43"></a> <span class='hs-varid'>test</span> <span class='hs-varop'>$</span> <span class='hs-varid'>inRange</span> <span class='hs-layout'>(</span><span class='hs-varid'>toInteger</span> <span class='hs-varop'>$</span> <span class='hs-varid'>ord</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>toInteger</span> <span class='hs-varop'>$</span> <span class='hs-varid'>ord</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span> <a name="line-44"></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'>fromInteger</span> <span class='hs-varid'>a</span> <a name="line-45"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Nothing</span> <a name="line-46"></a> <a name="line-47"></a> <span class='hs-varid'>isValid</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Char</span><span class='hs-layout'>,</span><span class='hs-conid'>Char</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-48"></a> <span class='hs-varid'>isValid</span> <span class='hs-varid'>valid</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>all</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>any</span> <span class='hs-layout'>(</span><span class='hs-varop'>`inRange`</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>valid</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <a name="line-49"></a> <a name="line-50"></a> <a name="line-51"></a><a name="lookupNamedEntity"></a><span class='hs-comment'>-- | Lookup a named entity, using 'htmlEntities'</span> <a name="line-52"></a><span class='hs-comment'>--</span> <a name="line-53"></a><span class='hs-comment'>-- > lookupNamedEntity "amp" == Just '&'</span> <a name="line-54"></a><span class='hs-comment'>-- > lookupNamedEntity "haskell" == Nothing</span> <a name="line-55"></a><span class='hs-definition'>lookupNamedEntity</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Char</span> <a name="line-56"></a><span class='hs-definition'>lookupNamedEntity</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>chr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>lookup</span> <span class='hs-varid'>x</span> <span class='hs-varid'>htmlEntities</span> <a name="line-57"></a> <a name="line-58"></a> <a name="line-59"></a><a name="escapeXMLChar"></a><span class='hs-comment'>-- | Escape a character before writing it out to XML.</span> <a name="line-60"></a><span class='hs-comment'>--</span> <a name="line-61"></a><span class='hs-comment'>-- > escapeXMLChar 'a' == Nothing</span> <a name="line-62"></a><span class='hs-comment'>-- > escapeXMLChar '&' == Just "amp"</span> <a name="line-63"></a><span class='hs-definition'>escapeXMLChar</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <a name="line-64"></a><span class='hs-definition'>escapeXMLChar</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>|</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>xmlEntities</span><span class='hs-layout'>,</span> <span class='hs-varid'>b</span> <span class='hs-varop'>==</span> <span class='hs-varid'>ord</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>of</span> <a name="line-65"></a> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Just</span> <span class='hs-varid'>y</span> <a name="line-66"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Nothing</span> <a name="line-67"></a> <a name="line-68"></a> <a name="line-69"></a><a name="xmlEntities"></a><span class='hs-comment'>-- | A table mapping XML entity names to code points.</span> <a name="line-70"></a><span class='hs-comment'>-- Does /not/ include @apos@ as Internet Explorer does not know about it.</span> <a name="line-71"></a><span class='hs-definition'>xmlEntities</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'>Int</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-72"></a><span class='hs-definition'>xmlEntities</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>a</span><span class='hs-varop'>*</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>ord</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyword'>in</span> <a name="line-73"></a> <span class='hs-keyglyph'>[</span><span class='hs-str'>"quot"</span> <span class='hs-varop'>*</span> <span class='hs-chr'>'"'</span> <a name="line-74"></a> <span class='hs-layout'>,</span><span class='hs-str'>"amp"</span> <span class='hs-varop'>*</span> <span class='hs-chr'>'&'</span> <a name="line-75"></a> <span class='hs-comment'>-- ,"apos" * '\'' -- Internet Explorer does not know that</span> <a name="line-76"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lt"</span> <span class='hs-varop'>*</span> <span class='hs-chr'>'<'</span> <a name="line-77"></a> <span class='hs-layout'>,</span><span class='hs-str'>"gt"</span> <span class='hs-varop'>*</span> <span class='hs-chr'>'>'</span> <a name="line-78"></a> <span class='hs-keyglyph'>]</span> <a name="line-79"></a> <a name="line-80"></a><a name="htmlEntities"></a><span class='hs-comment'>-- | A table mapping HTML entity names to code points</span> <a name="line-81"></a><span class='hs-definition'>htmlEntities</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'>Int</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-82"></a><span class='hs-definition'>htmlEntities</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varop'>*</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>(,)</span> <span class='hs-keyword'>in</span> <a name="line-83"></a> <span class='hs-varid'>xmlEntities</span> <span class='hs-varop'>++</span> <a name="line-84"></a> <span class='hs-keyglyph'>[</span><span class='hs-str'>"apos"</span> <span class='hs-varop'>*</span> <span class='hs-varid'>ord</span> <span class='hs-chr'>'\''</span> <span class='hs-comment'>-- quirky IE!!!</span> <a name="line-85"></a> <a name="line-86"></a> <span class='hs-layout'>,</span><span class='hs-str'>"nbsp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>160</span> <a name="line-87"></a> <span class='hs-layout'>,</span><span class='hs-str'>"iexcl"</span> <span class='hs-varop'>*</span> <span class='hs-num'>161</span> <a name="line-88"></a> <span class='hs-layout'>,</span><span class='hs-str'>"cent"</span> <span class='hs-varop'>*</span> <span class='hs-num'>162</span> <a name="line-89"></a> <span class='hs-layout'>,</span><span class='hs-str'>"pound"</span> <span class='hs-varop'>*</span> <span class='hs-num'>163</span> <a name="line-90"></a> <span class='hs-layout'>,</span><span class='hs-str'>"curren"</span> <span class='hs-varop'>*</span> <span class='hs-num'>164</span> <a name="line-91"></a> <span class='hs-layout'>,</span><span class='hs-str'>"yen"</span> <span class='hs-varop'>*</span> <span class='hs-num'>165</span> <a name="line-92"></a> <span class='hs-layout'>,</span><span class='hs-str'>"brvbar"</span> <span class='hs-varop'>*</span> <span class='hs-num'>166</span> <a name="line-93"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sect"</span> <span class='hs-varop'>*</span> <span class='hs-num'>167</span> <a name="line-94"></a> <span class='hs-layout'>,</span><span class='hs-str'>"uml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>168</span> <a name="line-95"></a> <span class='hs-layout'>,</span><span class='hs-str'>"copy"</span> <span class='hs-varop'>*</span> <span class='hs-num'>169</span> <a name="line-96"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ordf"</span> <span class='hs-varop'>*</span> <span class='hs-num'>170</span> <a name="line-97"></a> <span class='hs-layout'>,</span><span class='hs-str'>"laquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>171</span> <a name="line-98"></a> <span class='hs-layout'>,</span><span class='hs-str'>"not"</span> <span class='hs-varop'>*</span> <span class='hs-num'>172</span> <a name="line-99"></a> <span class='hs-layout'>,</span><span class='hs-str'>"shy"</span> <span class='hs-varop'>*</span> <span class='hs-num'>173</span> <a name="line-100"></a> <span class='hs-layout'>,</span><span class='hs-str'>"reg"</span> <span class='hs-varop'>*</span> <span class='hs-num'>174</span> <a name="line-101"></a> <span class='hs-layout'>,</span><span class='hs-str'>"macr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>175</span> <a name="line-102"></a> <span class='hs-layout'>,</span><span class='hs-str'>"deg"</span> <span class='hs-varop'>*</span> <span class='hs-num'>176</span> <a name="line-103"></a> <span class='hs-layout'>,</span><span class='hs-str'>"plusmn"</span> <span class='hs-varop'>*</span> <span class='hs-num'>177</span> <a name="line-104"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sup2"</span> <span class='hs-varop'>*</span> <span class='hs-num'>178</span> <a name="line-105"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sup3"</span> <span class='hs-varop'>*</span> <span class='hs-num'>179</span> <a name="line-106"></a> <span class='hs-layout'>,</span><span class='hs-str'>"acute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>180</span> <a name="line-107"></a> <span class='hs-layout'>,</span><span class='hs-str'>"micro"</span> <span class='hs-varop'>*</span> <span class='hs-num'>181</span> <a name="line-108"></a> <span class='hs-layout'>,</span><span class='hs-str'>"para"</span> <span class='hs-varop'>*</span> <span class='hs-num'>182</span> <a name="line-109"></a> <span class='hs-layout'>,</span><span class='hs-str'>"middot"</span> <span class='hs-varop'>*</span> <span class='hs-num'>183</span> <a name="line-110"></a> <span class='hs-layout'>,</span><span class='hs-str'>"cedil"</span> <span class='hs-varop'>*</span> <span class='hs-num'>184</span> <a name="line-111"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sup1"</span> <span class='hs-varop'>*</span> <span class='hs-num'>185</span> <a name="line-112"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ordm"</span> <span class='hs-varop'>*</span> <span class='hs-num'>186</span> <a name="line-113"></a> <span class='hs-layout'>,</span><span class='hs-str'>"raquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>187</span> <a name="line-114"></a> <span class='hs-layout'>,</span><span class='hs-str'>"frac14"</span> <span class='hs-varop'>*</span> <span class='hs-num'>188</span> <a name="line-115"></a> <span class='hs-layout'>,</span><span class='hs-str'>"frac12"</span> <span class='hs-varop'>*</span> <span class='hs-num'>189</span> <a name="line-116"></a> <span class='hs-layout'>,</span><span class='hs-str'>"frac34"</span> <span class='hs-varop'>*</span> <span class='hs-num'>190</span> <a name="line-117"></a> <span class='hs-layout'>,</span><span class='hs-str'>"iquest"</span> <span class='hs-varop'>*</span> <span class='hs-num'>191</span> <a name="line-118"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Agrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>192</span> <a name="line-119"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Aacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>193</span> <a name="line-120"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Acirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>194</span> <a name="line-121"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Atilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>195</span> <a name="line-122"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Auml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>196</span> <a name="line-123"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Aring"</span> <span class='hs-varop'>*</span> <span class='hs-num'>197</span> <a name="line-124"></a> <span class='hs-layout'>,</span><span class='hs-str'>"AElig"</span> <span class='hs-varop'>*</span> <span class='hs-num'>198</span> <a name="line-125"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ccedil"</span> <span class='hs-varop'>*</span> <span class='hs-num'>199</span> <a name="line-126"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Egrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>200</span> <a name="line-127"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Eacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>201</span> <a name="line-128"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ecirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>202</span> <a name="line-129"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Euml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>203</span> <a name="line-130"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Igrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>204</span> <a name="line-131"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Iacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>205</span> <a name="line-132"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Icirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>206</span> <a name="line-133"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Iuml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>207</span> <a name="line-134"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ETH"</span> <span class='hs-varop'>*</span> <span class='hs-num'>208</span> <a name="line-135"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ntilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>209</span> <a name="line-136"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ograve"</span> <span class='hs-varop'>*</span> <span class='hs-num'>210</span> <a name="line-137"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Oacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>211</span> <a name="line-138"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ocirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>212</span> <a name="line-139"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Otilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>213</span> <a name="line-140"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ouml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>214</span> <a name="line-141"></a> <span class='hs-layout'>,</span><span class='hs-str'>"times"</span> <span class='hs-varop'>*</span> <span class='hs-num'>215</span> <a name="line-142"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Oslash"</span> <span class='hs-varop'>*</span> <span class='hs-num'>216</span> <a name="line-143"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ugrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>217</span> <a name="line-144"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Uacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>218</span> <a name="line-145"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Ucirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>219</span> <a name="line-146"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Uuml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>220</span> <a name="line-147"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Yacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>221</span> <a name="line-148"></a> <span class='hs-layout'>,</span><span class='hs-str'>"THORN"</span> <span class='hs-varop'>*</span> <span class='hs-num'>222</span> <a name="line-149"></a> <span class='hs-layout'>,</span><span class='hs-str'>"szlig"</span> <span class='hs-varop'>*</span> <span class='hs-num'>223</span> <a name="line-150"></a> <span class='hs-layout'>,</span><span class='hs-str'>"agrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>224</span> <a name="line-151"></a> <span class='hs-layout'>,</span><span class='hs-str'>"aacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>225</span> <a name="line-152"></a> <span class='hs-layout'>,</span><span class='hs-str'>"acirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>226</span> <a name="line-153"></a> <span class='hs-layout'>,</span><span class='hs-str'>"atilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>227</span> <a name="line-154"></a> <span class='hs-layout'>,</span><span class='hs-str'>"auml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>228</span> <a name="line-155"></a> <span class='hs-layout'>,</span><span class='hs-str'>"aring"</span> <span class='hs-varop'>*</span> <span class='hs-num'>229</span> <a name="line-156"></a> <span class='hs-layout'>,</span><span class='hs-str'>"aelig"</span> <span class='hs-varop'>*</span> <span class='hs-num'>230</span> <a name="line-157"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ccedil"</span> <span class='hs-varop'>*</span> <span class='hs-num'>231</span> <a name="line-158"></a> <span class='hs-layout'>,</span><span class='hs-str'>"egrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>232</span> <a name="line-159"></a> <span class='hs-layout'>,</span><span class='hs-str'>"eacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>233</span> <a name="line-160"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ecirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>234</span> <a name="line-161"></a> <span class='hs-layout'>,</span><span class='hs-str'>"euml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>235</span> <a name="line-162"></a> <span class='hs-layout'>,</span><span class='hs-str'>"igrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>236</span> <a name="line-163"></a> <span class='hs-layout'>,</span><span class='hs-str'>"iacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>237</span> <a name="line-164"></a> <span class='hs-layout'>,</span><span class='hs-str'>"icirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>238</span> <a name="line-165"></a> <span class='hs-layout'>,</span><span class='hs-str'>"iuml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>239</span> <a name="line-166"></a> <span class='hs-layout'>,</span><span class='hs-str'>"eth"</span> <span class='hs-varop'>*</span> <span class='hs-num'>240</span> <a name="line-167"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ntilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>241</span> <a name="line-168"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ograve"</span> <span class='hs-varop'>*</span> <span class='hs-num'>242</span> <a name="line-169"></a> <span class='hs-layout'>,</span><span class='hs-str'>"oacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>243</span> <a name="line-170"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ocirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>244</span> <a name="line-171"></a> <span class='hs-layout'>,</span><span class='hs-str'>"otilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>245</span> <a name="line-172"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ouml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>246</span> <a name="line-173"></a> <span class='hs-layout'>,</span><span class='hs-str'>"divide"</span> <span class='hs-varop'>*</span> <span class='hs-num'>247</span> <a name="line-174"></a> <span class='hs-layout'>,</span><span class='hs-str'>"oslash"</span> <span class='hs-varop'>*</span> <span class='hs-num'>248</span> <a name="line-175"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ugrave"</span> <span class='hs-varop'>*</span> <span class='hs-num'>249</span> <a name="line-176"></a> <span class='hs-layout'>,</span><span class='hs-str'>"uacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>250</span> <a name="line-177"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ucirc"</span> <span class='hs-varop'>*</span> <span class='hs-num'>251</span> <a name="line-178"></a> <span class='hs-layout'>,</span><span class='hs-str'>"uuml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>252</span> <a name="line-179"></a> <span class='hs-layout'>,</span><span class='hs-str'>"yacute"</span> <span class='hs-varop'>*</span> <span class='hs-num'>253</span> <a name="line-180"></a> <span class='hs-layout'>,</span><span class='hs-str'>"thorn"</span> <span class='hs-varop'>*</span> <span class='hs-num'>254</span> <a name="line-181"></a> <span class='hs-layout'>,</span><span class='hs-str'>"yuml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>255</span> <a name="line-182"></a> <a name="line-183"></a> <span class='hs-layout'>,</span><span class='hs-str'>"OElig"</span> <span class='hs-varop'>*</span> <span class='hs-num'>338</span> <a name="line-184"></a> <span class='hs-layout'>,</span><span class='hs-str'>"oelig"</span> <span class='hs-varop'>*</span> <span class='hs-num'>339</span> <a name="line-185"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Scaron"</span> <span class='hs-varop'>*</span> <span class='hs-num'>352</span> <a name="line-186"></a> <span class='hs-layout'>,</span><span class='hs-str'>"scaron"</span> <span class='hs-varop'>*</span> <span class='hs-num'>353</span> <a name="line-187"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Yuml"</span> <span class='hs-varop'>*</span> <span class='hs-num'>376</span> <a name="line-188"></a> <span class='hs-layout'>,</span><span class='hs-str'>"circ"</span> <span class='hs-varop'>*</span> <span class='hs-num'>710</span> <a name="line-189"></a> <span class='hs-layout'>,</span><span class='hs-str'>"tilde"</span> <span class='hs-varop'>*</span> <span class='hs-num'>732</span> <a name="line-190"></a> <a name="line-191"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ensp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8194</span> <a name="line-192"></a> <span class='hs-layout'>,</span><span class='hs-str'>"emsp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8195</span> <a name="line-193"></a> <span class='hs-layout'>,</span><span class='hs-str'>"thinsp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8201</span> <a name="line-194"></a> <span class='hs-layout'>,</span><span class='hs-str'>"zwnj"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8204</span> <a name="line-195"></a> <span class='hs-layout'>,</span><span class='hs-str'>"zwj"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8205</span> <a name="line-196"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lrm"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8206</span> <a name="line-197"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rlm"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8207</span> <a name="line-198"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ndash"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8211</span> <a name="line-199"></a> <span class='hs-layout'>,</span><span class='hs-str'>"mdash"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8212</span> <a name="line-200"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lsquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8216</span> <a name="line-201"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rsquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8217</span> <a name="line-202"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sbquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8218</span> <a name="line-203"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ldquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8220</span> <a name="line-204"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rdquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8221</span> <a name="line-205"></a> <span class='hs-layout'>,</span><span class='hs-str'>"bdquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8222</span> <a name="line-206"></a> <span class='hs-layout'>,</span><span class='hs-str'>"dagger"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8224</span> <a name="line-207"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Dagger"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8225</span> <a name="line-208"></a> <span class='hs-layout'>,</span><span class='hs-str'>"permil"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8240</span> <a name="line-209"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lsaquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8249</span> <a name="line-210"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rsaquo"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8250</span> <a name="line-211"></a> <span class='hs-layout'>,</span><span class='hs-str'>"euro"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8364</span> <a name="line-212"></a> <a name="line-213"></a> <span class='hs-layout'>,</span><span class='hs-str'>"fnof"</span> <span class='hs-varop'>*</span> <span class='hs-num'>402</span> <a name="line-214"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Alpha"</span> <span class='hs-varop'>*</span> <span class='hs-num'>913</span> <a name="line-215"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Beta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>914</span> <a name="line-216"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Gamma"</span> <span class='hs-varop'>*</span> <span class='hs-num'>915</span> <a name="line-217"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Delta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>916</span> <a name="line-218"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Epsilon"</span> <span class='hs-varop'>*</span> <span class='hs-num'>917</span> <a name="line-219"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Zeta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>918</span> <a name="line-220"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Eta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>919</span> <a name="line-221"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Theta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>920</span> <a name="line-222"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Iota"</span> <span class='hs-varop'>*</span> <span class='hs-num'>921</span> <a name="line-223"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Kappa"</span> <span class='hs-varop'>*</span> <span class='hs-num'>922</span> <a name="line-224"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Lambda"</span> <span class='hs-varop'>*</span> <span class='hs-num'>923</span> <a name="line-225"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Mu"</span> <span class='hs-varop'>*</span> <span class='hs-num'>924</span> <a name="line-226"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Nu"</span> <span class='hs-varop'>*</span> <span class='hs-num'>925</span> <a name="line-227"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Xi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>926</span> <a name="line-228"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Omicron"</span> <span class='hs-varop'>*</span> <span class='hs-num'>927</span> <a name="line-229"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Pi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>928</span> <a name="line-230"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Rho"</span> <span class='hs-varop'>*</span> <span class='hs-num'>929</span> <a name="line-231"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Sigma"</span> <span class='hs-varop'>*</span> <span class='hs-num'>931</span> <a name="line-232"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Tau"</span> <span class='hs-varop'>*</span> <span class='hs-num'>932</span> <a name="line-233"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Upsilon"</span> <span class='hs-varop'>*</span> <span class='hs-num'>933</span> <a name="line-234"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Phi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>934</span> <a name="line-235"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Chi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>935</span> <a name="line-236"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Psi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>936</span> <a name="line-237"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Omega"</span> <span class='hs-varop'>*</span> <span class='hs-num'>937</span> <a name="line-238"></a> <span class='hs-layout'>,</span><span class='hs-str'>"alpha"</span> <span class='hs-varop'>*</span> <span class='hs-num'>945</span> <a name="line-239"></a> <span class='hs-layout'>,</span><span class='hs-str'>"beta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>946</span> <a name="line-240"></a> <span class='hs-layout'>,</span><span class='hs-str'>"gamma"</span> <span class='hs-varop'>*</span> <span class='hs-num'>947</span> <a name="line-241"></a> <span class='hs-layout'>,</span><span class='hs-str'>"delta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>948</span> <a name="line-242"></a> <span class='hs-layout'>,</span><span class='hs-str'>"epsilon"</span> <span class='hs-varop'>*</span> <span class='hs-num'>949</span> <a name="line-243"></a> <span class='hs-layout'>,</span><span class='hs-str'>"zeta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>950</span> <a name="line-244"></a> <span class='hs-layout'>,</span><span class='hs-str'>"eta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>951</span> <a name="line-245"></a> <span class='hs-layout'>,</span><span class='hs-str'>"theta"</span> <span class='hs-varop'>*</span> <span class='hs-num'>952</span> <a name="line-246"></a> <span class='hs-layout'>,</span><span class='hs-str'>"iota"</span> <span class='hs-varop'>*</span> <span class='hs-num'>953</span> <a name="line-247"></a> <span class='hs-layout'>,</span><span class='hs-str'>"kappa"</span> <span class='hs-varop'>*</span> <span class='hs-num'>954</span> <a name="line-248"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lambda"</span> <span class='hs-varop'>*</span> <span class='hs-num'>955</span> <a name="line-249"></a> <span class='hs-layout'>,</span><span class='hs-str'>"mu"</span> <span class='hs-varop'>*</span> <span class='hs-num'>956</span> <a name="line-250"></a> <span class='hs-layout'>,</span><span class='hs-str'>"nu"</span> <span class='hs-varop'>*</span> <span class='hs-num'>957</span> <a name="line-251"></a> <span class='hs-layout'>,</span><span class='hs-str'>"xi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>958</span> <a name="line-252"></a> <span class='hs-layout'>,</span><span class='hs-str'>"omicron"</span> <span class='hs-varop'>*</span> <span class='hs-num'>959</span> <a name="line-253"></a> <span class='hs-layout'>,</span><span class='hs-str'>"pi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>960</span> <a name="line-254"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rho"</span> <span class='hs-varop'>*</span> <span class='hs-num'>961</span> <a name="line-255"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sigmaf"</span> <span class='hs-varop'>*</span> <span class='hs-num'>962</span> <a name="line-256"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sigma"</span> <span class='hs-varop'>*</span> <span class='hs-num'>963</span> <a name="line-257"></a> <span class='hs-layout'>,</span><span class='hs-str'>"tau"</span> <span class='hs-varop'>*</span> <span class='hs-num'>964</span> <a name="line-258"></a> <span class='hs-layout'>,</span><span class='hs-str'>"upsilon"</span> <span class='hs-varop'>*</span> <span class='hs-num'>965</span> <a name="line-259"></a> <span class='hs-layout'>,</span><span class='hs-str'>"phi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>966</span> <a name="line-260"></a> <span class='hs-layout'>,</span><span class='hs-str'>"chi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>967</span> <a name="line-261"></a> <span class='hs-layout'>,</span><span class='hs-str'>"psi"</span> <span class='hs-varop'>*</span> <span class='hs-num'>968</span> <a name="line-262"></a> <span class='hs-layout'>,</span><span class='hs-str'>"omega"</span> <span class='hs-varop'>*</span> <span class='hs-num'>969</span> <a name="line-263"></a> <span class='hs-layout'>,</span><span class='hs-str'>"thetasym"</span><span class='hs-varop'>*</span> <span class='hs-num'>977</span> <a name="line-264"></a> <span class='hs-layout'>,</span><span class='hs-str'>"upsih"</span> <span class='hs-varop'>*</span> <span class='hs-num'>978</span> <a name="line-265"></a> <span class='hs-layout'>,</span><span class='hs-str'>"piv"</span> <span class='hs-varop'>*</span> <span class='hs-num'>982</span> <a name="line-266"></a> <span class='hs-layout'>,</span><span class='hs-str'>"bull"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8226</span> <a name="line-267"></a> <span class='hs-layout'>,</span><span class='hs-str'>"hellip"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8230</span> <a name="line-268"></a> <span class='hs-layout'>,</span><span class='hs-str'>"prime"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8242</span> <a name="line-269"></a> <span class='hs-layout'>,</span><span class='hs-str'>"Prime"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8243</span> <a name="line-270"></a> <span class='hs-layout'>,</span><span class='hs-str'>"oline"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8254</span> <a name="line-271"></a> <span class='hs-layout'>,</span><span class='hs-str'>"frasl"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8260</span> <a name="line-272"></a> <span class='hs-layout'>,</span><span class='hs-str'>"weierp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8472</span> <a name="line-273"></a> <span class='hs-layout'>,</span><span class='hs-str'>"image"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8465</span> <a name="line-274"></a> <span class='hs-layout'>,</span><span class='hs-str'>"real"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8476</span> <a name="line-275"></a> <span class='hs-layout'>,</span><span class='hs-str'>"trade"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8482</span> <a name="line-276"></a> <span class='hs-layout'>,</span><span class='hs-str'>"alefsym"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8501</span> <a name="line-277"></a> <span class='hs-layout'>,</span><span class='hs-str'>"larr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8592</span> <a name="line-278"></a> <span class='hs-layout'>,</span><span class='hs-str'>"uarr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8593</span> <a name="line-279"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rarr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8594</span> <a name="line-280"></a> <span class='hs-layout'>,</span><span class='hs-str'>"darr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8595</span> <a name="line-281"></a> <span class='hs-layout'>,</span><span class='hs-str'>"harr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8596</span> <a name="line-282"></a> <span class='hs-layout'>,</span><span class='hs-str'>"crarr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8629</span> <a name="line-283"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lArr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8656</span> <a name="line-284"></a> <span class='hs-layout'>,</span><span class='hs-str'>"uArr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8657</span> <a name="line-285"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rArr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8658</span> <a name="line-286"></a> <span class='hs-layout'>,</span><span class='hs-str'>"dArr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8659</span> <a name="line-287"></a> <span class='hs-layout'>,</span><span class='hs-str'>"hArr"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8660</span> <a name="line-288"></a> <span class='hs-layout'>,</span><span class='hs-str'>"forall"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8704</span> <a name="line-289"></a> <span class='hs-layout'>,</span><span class='hs-str'>"part"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8706</span> <a name="line-290"></a> <span class='hs-layout'>,</span><span class='hs-str'>"exist"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8707</span> <a name="line-291"></a> <span class='hs-layout'>,</span><span class='hs-str'>"empty"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8709</span> <a name="line-292"></a> <span class='hs-layout'>,</span><span class='hs-str'>"nabla"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8711</span> <a name="line-293"></a> <span class='hs-layout'>,</span><span class='hs-str'>"isin"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8712</span> <a name="line-294"></a> <span class='hs-layout'>,</span><span class='hs-str'>"notin"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8713</span> <a name="line-295"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ni"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8715</span> <a name="line-296"></a> <span class='hs-layout'>,</span><span class='hs-str'>"prod"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8719</span> <a name="line-297"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sum"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8721</span> <a name="line-298"></a> <span class='hs-layout'>,</span><span class='hs-str'>"minus"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8722</span> <a name="line-299"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lowast"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8727</span> <a name="line-300"></a> <span class='hs-layout'>,</span><span class='hs-str'>"radic"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8730</span> <a name="line-301"></a> <span class='hs-layout'>,</span><span class='hs-str'>"prop"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8733</span> <a name="line-302"></a> <span class='hs-layout'>,</span><span class='hs-str'>"infin"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8734</span> <a name="line-303"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ang"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8736</span> <a name="line-304"></a> <span class='hs-layout'>,</span><span class='hs-str'>"and"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8743</span> <a name="line-305"></a> <span class='hs-layout'>,</span><span class='hs-str'>"or"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8744</span> <a name="line-306"></a> <span class='hs-layout'>,</span><span class='hs-str'>"cap"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8745</span> <a name="line-307"></a> <span class='hs-layout'>,</span><span class='hs-str'>"cup"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8746</span> <a name="line-308"></a> <span class='hs-layout'>,</span><span class='hs-str'>"int"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8747</span> <a name="line-309"></a> <span class='hs-layout'>,</span><span class='hs-str'>"there4"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8756</span> <a name="line-310"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sim"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8764</span> <a name="line-311"></a> <span class='hs-layout'>,</span><span class='hs-str'>"cong"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8773</span> <a name="line-312"></a> <span class='hs-layout'>,</span><span class='hs-str'>"asymp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8776</span> <a name="line-313"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ne"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8800</span> <a name="line-314"></a> <span class='hs-layout'>,</span><span class='hs-str'>"equiv"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8801</span> <a name="line-315"></a> <span class='hs-layout'>,</span><span class='hs-str'>"le"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8804</span> <a name="line-316"></a> <span class='hs-layout'>,</span><span class='hs-str'>"ge"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8805</span> <a name="line-317"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sub"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8834</span> <a name="line-318"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sup"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8835</span> <a name="line-319"></a> <span class='hs-layout'>,</span><span class='hs-str'>"nsub"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8836</span> <a name="line-320"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sube"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8838</span> <a name="line-321"></a> <span class='hs-layout'>,</span><span class='hs-str'>"supe"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8839</span> <a name="line-322"></a> <span class='hs-layout'>,</span><span class='hs-str'>"oplus"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8853</span> <a name="line-323"></a> <span class='hs-layout'>,</span><span class='hs-str'>"otimes"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8855</span> <a name="line-324"></a> <span class='hs-layout'>,</span><span class='hs-str'>"perp"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8869</span> <a name="line-325"></a> <span class='hs-layout'>,</span><span class='hs-str'>"sdot"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8901</span> <a name="line-326"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lceil"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8968</span> <a name="line-327"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rceil"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8969</span> <a name="line-328"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lfloor"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8970</span> <a name="line-329"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rfloor"</span> <span class='hs-varop'>*</span> <span class='hs-num'>8971</span> <a name="line-330"></a> <span class='hs-layout'>,</span><span class='hs-str'>"lang"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9001</span> <a name="line-331"></a> <span class='hs-layout'>,</span><span class='hs-str'>"rang"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9002</span> <a name="line-332"></a> <span class='hs-layout'>,</span><span class='hs-str'>"loz"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9674</span> <a name="line-333"></a> <span class='hs-layout'>,</span><span class='hs-str'>"spades"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9824</span> <a name="line-334"></a> <span class='hs-layout'>,</span><span class='hs-str'>"clubs"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9827</span> <a name="line-335"></a> <span class='hs-layout'>,</span><span class='hs-str'>"hearts"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9829</span> <a name="line-336"></a> <span class='hs-layout'>,</span><span class='hs-str'>"diams"</span> <span class='hs-varop'>*</span> <span class='hs-num'>9830</span> <a name="line-337"></a> <span class='hs-keyglyph'>]</span> </pre></body> </html>