hxt-8.0.0: doc/hdoc/src/Text-XML-HXT-Parser-XhtmlEntities.html
<!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>Haskell Code by HsColour</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='comment'>-- |</span>
<a name="line-2"></a><span class='comment'>-- XHTML Entity References</span>
<a name="line-3"></a><span class='comment'>--</span>
<a name="line-4"></a><span class='comment'>-- This module defines a table of all</span>
<a name="line-5"></a><span class='comment'>-- predefined XHTML entity references</span>
<a name="line-6"></a><span class='comment'>-- for special or none ASCII chars including the</span>
<a name="line-7"></a><span class='comment'>-- predefined XML entity refs</span>
<a name="line-8"></a>
<a name="line-9"></a><span class='keyword'>module</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Parser</span><span class='varop'>.</span><span class='conid'>XhtmlEntities</span>
<a name="line-10"></a> <span class='layout'>(</span> <span class='varid'>xhtmlEntities</span>
<a name="line-11"></a> <span class='layout'>)</span>
<a name="line-12"></a>
<a name="line-13"></a><span class='keyword'>where</span>
<a name="line-14"></a>
<a name="line-15"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Parser</span><span class='varop'>.</span><span class='conid'>XmlEntities</span>
<a name="line-16"></a> <span class='layout'>(</span> <span class='varid'>xmlEntities</span> <span class='layout'>)</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-19"></a>
<a name="line-20"></a><span class='comment'>-- | table with all XHTML entity refs and corresponding unicode values</span>
<a name="line-21"></a>
<a name="line-22"></a><a name="xhtmlEntities"></a><span class='definition'>xhtmlEntities</span> <span class='keyglyph'>::</span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='conid'>String</span><span class='layout'>,</span> <span class='conid'>Int</span><span class='layout'>)</span><span class='keyglyph'>]</span>
<a name="line-23"></a><span class='definition'>xhtmlEntities</span> <span class='keyglyph'>=</span> <span class='varid'>xmlEntities</span>
<a name="line-24"></a> <span class='varop'>++</span>
<a name="line-25"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='str'>"nbsp"</span><span class='layout'>,</span> <span class='num'>160</span><span class='layout'>)</span>
<a name="line-26"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"iexcl"</span><span class='layout'>,</span> <span class='num'>161</span><span class='layout'>)</span>
<a name="line-27"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"cent"</span><span class='layout'>,</span> <span class='num'>162</span><span class='layout'>)</span>
<a name="line-28"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"pound"</span><span class='layout'>,</span> <span class='num'>163</span><span class='layout'>)</span>
<a name="line-29"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"curren"</span><span class='layout'>,</span> <span class='num'>164</span><span class='layout'>)</span>
<a name="line-30"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"yen"</span><span class='layout'>,</span> <span class='num'>165</span><span class='layout'>)</span>
<a name="line-31"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"brvbar"</span><span class='layout'>,</span> <span class='num'>166</span><span class='layout'>)</span>
<a name="line-32"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sect"</span><span class='layout'>,</span> <span class='num'>167</span><span class='layout'>)</span>
<a name="line-33"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"uml"</span><span class='layout'>,</span> <span class='num'>168</span><span class='layout'>)</span>
<a name="line-34"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"copy"</span><span class='layout'>,</span> <span class='num'>169</span><span class='layout'>)</span>
<a name="line-35"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ordf"</span><span class='layout'>,</span> <span class='num'>170</span><span class='layout'>)</span>
<a name="line-36"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"laquo"</span><span class='layout'>,</span> <span class='num'>171</span><span class='layout'>)</span>
<a name="line-37"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"not"</span><span class='layout'>,</span> <span class='num'>172</span><span class='layout'>)</span>
<a name="line-38"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"shy"</span><span class='layout'>,</span> <span class='num'>173</span><span class='layout'>)</span>
<a name="line-39"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"reg"</span><span class='layout'>,</span> <span class='num'>174</span><span class='layout'>)</span>
<a name="line-40"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"macr"</span><span class='layout'>,</span> <span class='num'>175</span><span class='layout'>)</span>
<a name="line-41"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"deg"</span><span class='layout'>,</span> <span class='num'>176</span><span class='layout'>)</span>
<a name="line-42"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"plusmn"</span><span class='layout'>,</span> <span class='num'>177</span><span class='layout'>)</span>
<a name="line-43"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sup2"</span><span class='layout'>,</span> <span class='num'>178</span><span class='layout'>)</span>
<a name="line-44"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sup3"</span><span class='layout'>,</span> <span class='num'>179</span><span class='layout'>)</span>
<a name="line-45"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"acute"</span><span class='layout'>,</span> <span class='num'>180</span><span class='layout'>)</span>
<a name="line-46"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"micro"</span><span class='layout'>,</span> <span class='num'>181</span><span class='layout'>)</span>
<a name="line-47"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"para"</span><span class='layout'>,</span> <span class='num'>182</span><span class='layout'>)</span>
<a name="line-48"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"middot"</span><span class='layout'>,</span> <span class='num'>183</span><span class='layout'>)</span>
<a name="line-49"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"cedil"</span><span class='layout'>,</span> <span class='num'>184</span><span class='layout'>)</span>
<a name="line-50"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sup1"</span><span class='layout'>,</span> <span class='num'>185</span><span class='layout'>)</span>
<a name="line-51"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ordm"</span><span class='layout'>,</span> <span class='num'>186</span><span class='layout'>)</span>
<a name="line-52"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"raquo"</span><span class='layout'>,</span> <span class='num'>187</span><span class='layout'>)</span>
<a name="line-53"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"frac14"</span><span class='layout'>,</span> <span class='num'>188</span><span class='layout'>)</span>
<a name="line-54"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"frac12"</span><span class='layout'>,</span> <span class='num'>189</span><span class='layout'>)</span>
<a name="line-55"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"frac34"</span><span class='layout'>,</span> <span class='num'>190</span><span class='layout'>)</span>
<a name="line-56"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"iquest"</span><span class='layout'>,</span> <span class='num'>191</span><span class='layout'>)</span>
<a name="line-57"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Agrave"</span><span class='layout'>,</span> <span class='num'>192</span><span class='layout'>)</span>
<a name="line-58"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Aacute"</span><span class='layout'>,</span> <span class='num'>193</span><span class='layout'>)</span>
<a name="line-59"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Acirc"</span><span class='layout'>,</span> <span class='num'>194</span><span class='layout'>)</span>
<a name="line-60"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Atilde"</span><span class='layout'>,</span> <span class='num'>195</span><span class='layout'>)</span>
<a name="line-61"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Auml"</span><span class='layout'>,</span> <span class='num'>196</span><span class='layout'>)</span>
<a name="line-62"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Aring"</span><span class='layout'>,</span> <span class='num'>197</span><span class='layout'>)</span>
<a name="line-63"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"AElig"</span><span class='layout'>,</span> <span class='num'>198</span><span class='layout'>)</span>
<a name="line-64"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ccedil"</span><span class='layout'>,</span> <span class='num'>199</span><span class='layout'>)</span>
<a name="line-65"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Egrave"</span><span class='layout'>,</span> <span class='num'>200</span><span class='layout'>)</span>
<a name="line-66"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Eacute"</span><span class='layout'>,</span> <span class='num'>201</span><span class='layout'>)</span>
<a name="line-67"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ecirc"</span><span class='layout'>,</span> <span class='num'>202</span><span class='layout'>)</span>
<a name="line-68"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Euml"</span><span class='layout'>,</span> <span class='num'>203</span><span class='layout'>)</span>
<a name="line-69"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Igrave"</span><span class='layout'>,</span> <span class='num'>204</span><span class='layout'>)</span>
<a name="line-70"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Iacute"</span><span class='layout'>,</span> <span class='num'>205</span><span class='layout'>)</span>
<a name="line-71"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Icirc"</span><span class='layout'>,</span> <span class='num'>206</span><span class='layout'>)</span>
<a name="line-72"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Iuml"</span><span class='layout'>,</span> <span class='num'>207</span><span class='layout'>)</span>
<a name="line-73"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ETH"</span><span class='layout'>,</span> <span class='num'>208</span><span class='layout'>)</span>
<a name="line-74"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ntilde"</span><span class='layout'>,</span> <span class='num'>209</span><span class='layout'>)</span>
<a name="line-75"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ograve"</span><span class='layout'>,</span> <span class='num'>210</span><span class='layout'>)</span>
<a name="line-76"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Oacute"</span><span class='layout'>,</span> <span class='num'>211</span><span class='layout'>)</span>
<a name="line-77"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ocirc"</span><span class='layout'>,</span> <span class='num'>212</span><span class='layout'>)</span>
<a name="line-78"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Otilde"</span><span class='layout'>,</span> <span class='num'>213</span><span class='layout'>)</span>
<a name="line-79"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ouml"</span><span class='layout'>,</span> <span class='num'>214</span><span class='layout'>)</span>
<a name="line-80"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"times"</span><span class='layout'>,</span> <span class='num'>215</span><span class='layout'>)</span>
<a name="line-81"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Oslash"</span><span class='layout'>,</span> <span class='num'>216</span><span class='layout'>)</span>
<a name="line-82"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ugrave"</span><span class='layout'>,</span> <span class='num'>217</span><span class='layout'>)</span>
<a name="line-83"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Uacute"</span><span class='layout'>,</span> <span class='num'>218</span><span class='layout'>)</span>
<a name="line-84"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Ucirc"</span><span class='layout'>,</span> <span class='num'>219</span><span class='layout'>)</span>
<a name="line-85"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Uuml"</span><span class='layout'>,</span> <span class='num'>220</span><span class='layout'>)</span>
<a name="line-86"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Yacute"</span><span class='layout'>,</span> <span class='num'>221</span><span class='layout'>)</span>
<a name="line-87"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"THORN"</span><span class='layout'>,</span> <span class='num'>222</span><span class='layout'>)</span>
<a name="line-88"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"szlig"</span><span class='layout'>,</span> <span class='num'>223</span><span class='layout'>)</span>
<a name="line-89"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"agrave"</span><span class='layout'>,</span> <span class='num'>224</span><span class='layout'>)</span>
<a name="line-90"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"aacute"</span><span class='layout'>,</span> <span class='num'>225</span><span class='layout'>)</span>
<a name="line-91"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"acirc"</span><span class='layout'>,</span> <span class='num'>226</span><span class='layout'>)</span>
<a name="line-92"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"atilde"</span><span class='layout'>,</span> <span class='num'>227</span><span class='layout'>)</span>
<a name="line-93"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"auml"</span><span class='layout'>,</span> <span class='num'>228</span><span class='layout'>)</span>
<a name="line-94"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"aring"</span><span class='layout'>,</span> <span class='num'>229</span><span class='layout'>)</span>
<a name="line-95"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"aelig"</span><span class='layout'>,</span> <span class='num'>230</span><span class='layout'>)</span>
<a name="line-96"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ccedil"</span><span class='layout'>,</span> <span class='num'>231</span><span class='layout'>)</span>
<a name="line-97"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"egrave"</span><span class='layout'>,</span> <span class='num'>232</span><span class='layout'>)</span>
<a name="line-98"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"eacute"</span><span class='layout'>,</span> <span class='num'>233</span><span class='layout'>)</span>
<a name="line-99"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ecirc"</span><span class='layout'>,</span> <span class='num'>234</span><span class='layout'>)</span>
<a name="line-100"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"euml"</span><span class='layout'>,</span> <span class='num'>235</span><span class='layout'>)</span>
<a name="line-101"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"igrave"</span><span class='layout'>,</span> <span class='num'>236</span><span class='layout'>)</span>
<a name="line-102"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"iacute"</span><span class='layout'>,</span> <span class='num'>237</span><span class='layout'>)</span>
<a name="line-103"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"icirc"</span><span class='layout'>,</span> <span class='num'>238</span><span class='layout'>)</span>
<a name="line-104"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"iuml"</span><span class='layout'>,</span> <span class='num'>239</span><span class='layout'>)</span>
<a name="line-105"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"eth"</span><span class='layout'>,</span> <span class='num'>240</span><span class='layout'>)</span>
<a name="line-106"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ntilde"</span><span class='layout'>,</span> <span class='num'>241</span><span class='layout'>)</span>
<a name="line-107"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ograve"</span><span class='layout'>,</span> <span class='num'>242</span><span class='layout'>)</span>
<a name="line-108"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"oacute"</span><span class='layout'>,</span> <span class='num'>243</span><span class='layout'>)</span>
<a name="line-109"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ocirc"</span><span class='layout'>,</span> <span class='num'>244</span><span class='layout'>)</span>
<a name="line-110"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"otilde"</span><span class='layout'>,</span> <span class='num'>245</span><span class='layout'>)</span>
<a name="line-111"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ouml"</span><span class='layout'>,</span> <span class='num'>246</span><span class='layout'>)</span>
<a name="line-112"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"divide"</span><span class='layout'>,</span> <span class='num'>247</span><span class='layout'>)</span>
<a name="line-113"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"oslash"</span><span class='layout'>,</span> <span class='num'>248</span><span class='layout'>)</span>
<a name="line-114"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ugrave"</span><span class='layout'>,</span> <span class='num'>249</span><span class='layout'>)</span>
<a name="line-115"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"uacute"</span><span class='layout'>,</span> <span class='num'>250</span><span class='layout'>)</span>
<a name="line-116"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ucirc"</span><span class='layout'>,</span> <span class='num'>251</span><span class='layout'>)</span>
<a name="line-117"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"uuml"</span><span class='layout'>,</span> <span class='num'>252</span><span class='layout'>)</span>
<a name="line-118"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"yacute"</span><span class='layout'>,</span> <span class='num'>253</span><span class='layout'>)</span>
<a name="line-119"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"thorn"</span><span class='layout'>,</span> <span class='num'>254</span><span class='layout'>)</span>
<a name="line-120"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"yuml"</span><span class='layout'>,</span> <span class='num'>255</span><span class='layout'>)</span>
<a name="line-121"></a>
<a name="line-122"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"OElig"</span><span class='layout'>,</span> <span class='num'>338</span><span class='layout'>)</span>
<a name="line-123"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"oelig"</span><span class='layout'>,</span> <span class='num'>339</span><span class='layout'>)</span>
<a name="line-124"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Scaron"</span><span class='layout'>,</span> <span class='num'>352</span><span class='layout'>)</span>
<a name="line-125"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"scaron"</span><span class='layout'>,</span> <span class='num'>353</span><span class='layout'>)</span>
<a name="line-126"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Yuml"</span><span class='layout'>,</span> <span class='num'>376</span><span class='layout'>)</span>
<a name="line-127"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"circ"</span><span class='layout'>,</span> <span class='num'>710</span><span class='layout'>)</span>
<a name="line-128"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"tilde"</span><span class='layout'>,</span> <span class='num'>732</span><span class='layout'>)</span>
<a name="line-129"></a>
<a name="line-130"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ensp"</span><span class='layout'>,</span> <span class='num'>8194</span><span class='layout'>)</span>
<a name="line-131"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"emsp"</span><span class='layout'>,</span> <span class='num'>8195</span><span class='layout'>)</span>
<a name="line-132"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"thinsp"</span><span class='layout'>,</span> <span class='num'>8201</span><span class='layout'>)</span>
<a name="line-133"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"zwnj"</span><span class='layout'>,</span> <span class='num'>8204</span><span class='layout'>)</span>
<a name="line-134"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"zwj"</span><span class='layout'>,</span> <span class='num'>8205</span><span class='layout'>)</span>
<a name="line-135"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lrm"</span><span class='layout'>,</span> <span class='num'>8206</span><span class='layout'>)</span>
<a name="line-136"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rlm"</span><span class='layout'>,</span> <span class='num'>8207</span><span class='layout'>)</span>
<a name="line-137"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ndash"</span><span class='layout'>,</span> <span class='num'>8211</span><span class='layout'>)</span>
<a name="line-138"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"mdash"</span><span class='layout'>,</span> <span class='num'>8212</span><span class='layout'>)</span>
<a name="line-139"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lsquo"</span><span class='layout'>,</span> <span class='num'>8216</span><span class='layout'>)</span>
<a name="line-140"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rsquo"</span><span class='layout'>,</span> <span class='num'>8217</span><span class='layout'>)</span>
<a name="line-141"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sbquo"</span><span class='layout'>,</span> <span class='num'>8218</span><span class='layout'>)</span>
<a name="line-142"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ldquo"</span><span class='layout'>,</span> <span class='num'>8220</span><span class='layout'>)</span>
<a name="line-143"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rdquo"</span><span class='layout'>,</span> <span class='num'>8221</span><span class='layout'>)</span>
<a name="line-144"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"bdquo"</span><span class='layout'>,</span> <span class='num'>8222</span><span class='layout'>)</span>
<a name="line-145"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"dagger"</span><span class='layout'>,</span> <span class='num'>8224</span><span class='layout'>)</span>
<a name="line-146"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Dagger"</span><span class='layout'>,</span> <span class='num'>8225</span><span class='layout'>)</span>
<a name="line-147"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"permil"</span><span class='layout'>,</span> <span class='num'>8240</span><span class='layout'>)</span>
<a name="line-148"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lsaquo"</span><span class='layout'>,</span> <span class='num'>8249</span><span class='layout'>)</span>
<a name="line-149"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rsaquo"</span><span class='layout'>,</span> <span class='num'>8250</span><span class='layout'>)</span>
<a name="line-150"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"euro"</span><span class='layout'>,</span> <span class='num'>8364</span><span class='layout'>)</span>
<a name="line-151"></a>
<a name="line-152"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"fnof"</span><span class='layout'>,</span> <span class='num'>402</span><span class='layout'>)</span>
<a name="line-153"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Alpha"</span><span class='layout'>,</span> <span class='num'>913</span><span class='layout'>)</span>
<a name="line-154"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Beta"</span><span class='layout'>,</span> <span class='num'>914</span><span class='layout'>)</span>
<a name="line-155"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Gamma"</span><span class='layout'>,</span> <span class='num'>915</span><span class='layout'>)</span>
<a name="line-156"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Delta"</span><span class='layout'>,</span> <span class='num'>916</span><span class='layout'>)</span>
<a name="line-157"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Epsilon"</span><span class='layout'>,</span> <span class='num'>917</span><span class='layout'>)</span>
<a name="line-158"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Zeta"</span><span class='layout'>,</span> <span class='num'>918</span><span class='layout'>)</span>
<a name="line-159"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Eta"</span><span class='layout'>,</span> <span class='num'>919</span><span class='layout'>)</span>
<a name="line-160"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Theta"</span><span class='layout'>,</span> <span class='num'>920</span><span class='layout'>)</span>
<a name="line-161"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Iota"</span><span class='layout'>,</span> <span class='num'>921</span><span class='layout'>)</span>
<a name="line-162"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Kappa"</span><span class='layout'>,</span> <span class='num'>922</span><span class='layout'>)</span>
<a name="line-163"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Lambda"</span><span class='layout'>,</span> <span class='num'>923</span><span class='layout'>)</span>
<a name="line-164"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Mu"</span><span class='layout'>,</span> <span class='num'>924</span><span class='layout'>)</span>
<a name="line-165"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Nu"</span><span class='layout'>,</span> <span class='num'>925</span><span class='layout'>)</span>
<a name="line-166"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Xi"</span><span class='layout'>,</span> <span class='num'>926</span><span class='layout'>)</span>
<a name="line-167"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Omicron"</span><span class='layout'>,</span> <span class='num'>927</span><span class='layout'>)</span>
<a name="line-168"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Pi"</span><span class='layout'>,</span> <span class='num'>928</span><span class='layout'>)</span>
<a name="line-169"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Rho"</span><span class='layout'>,</span> <span class='num'>929</span><span class='layout'>)</span>
<a name="line-170"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Sigma"</span><span class='layout'>,</span> <span class='num'>931</span><span class='layout'>)</span>
<a name="line-171"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Tau"</span><span class='layout'>,</span> <span class='num'>932</span><span class='layout'>)</span>
<a name="line-172"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Upsilon"</span><span class='layout'>,</span> <span class='num'>933</span><span class='layout'>)</span>
<a name="line-173"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Phi"</span><span class='layout'>,</span> <span class='num'>934</span><span class='layout'>)</span>
<a name="line-174"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Chi"</span><span class='layout'>,</span> <span class='num'>935</span><span class='layout'>)</span>
<a name="line-175"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Psi"</span><span class='layout'>,</span> <span class='num'>936</span><span class='layout'>)</span>
<a name="line-176"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Omega"</span><span class='layout'>,</span> <span class='num'>937</span><span class='layout'>)</span>
<a name="line-177"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"alpha"</span><span class='layout'>,</span> <span class='num'>945</span><span class='layout'>)</span>
<a name="line-178"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"beta"</span><span class='layout'>,</span> <span class='num'>946</span><span class='layout'>)</span>
<a name="line-179"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"gamma"</span><span class='layout'>,</span> <span class='num'>947</span><span class='layout'>)</span>
<a name="line-180"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"delta"</span><span class='layout'>,</span> <span class='num'>948</span><span class='layout'>)</span>
<a name="line-181"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"epsilon"</span><span class='layout'>,</span> <span class='num'>949</span><span class='layout'>)</span>
<a name="line-182"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"zeta"</span><span class='layout'>,</span> <span class='num'>950</span><span class='layout'>)</span>
<a name="line-183"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"eta"</span><span class='layout'>,</span> <span class='num'>951</span><span class='layout'>)</span>
<a name="line-184"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"theta"</span><span class='layout'>,</span> <span class='num'>952</span><span class='layout'>)</span>
<a name="line-185"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"iota"</span><span class='layout'>,</span> <span class='num'>953</span><span class='layout'>)</span>
<a name="line-186"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"kappa"</span><span class='layout'>,</span> <span class='num'>954</span><span class='layout'>)</span>
<a name="line-187"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lambda"</span><span class='layout'>,</span> <span class='num'>955</span><span class='layout'>)</span>
<a name="line-188"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"mu"</span><span class='layout'>,</span> <span class='num'>956</span><span class='layout'>)</span>
<a name="line-189"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"nu"</span><span class='layout'>,</span> <span class='num'>957</span><span class='layout'>)</span>
<a name="line-190"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"xi"</span><span class='layout'>,</span> <span class='num'>958</span><span class='layout'>)</span>
<a name="line-191"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"omicron"</span><span class='layout'>,</span> <span class='num'>959</span><span class='layout'>)</span>
<a name="line-192"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"pi"</span><span class='layout'>,</span> <span class='num'>960</span><span class='layout'>)</span>
<a name="line-193"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rho"</span><span class='layout'>,</span> <span class='num'>961</span><span class='layout'>)</span>
<a name="line-194"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sigmaf"</span><span class='layout'>,</span> <span class='num'>962</span><span class='layout'>)</span>
<a name="line-195"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sigma"</span><span class='layout'>,</span> <span class='num'>963</span><span class='layout'>)</span>
<a name="line-196"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"tau"</span><span class='layout'>,</span> <span class='num'>964</span><span class='layout'>)</span>
<a name="line-197"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"upsilon"</span><span class='layout'>,</span> <span class='num'>965</span><span class='layout'>)</span>
<a name="line-198"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"phi"</span><span class='layout'>,</span> <span class='num'>966</span><span class='layout'>)</span>
<a name="line-199"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"chi"</span><span class='layout'>,</span> <span class='num'>967</span><span class='layout'>)</span>
<a name="line-200"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"psi"</span><span class='layout'>,</span> <span class='num'>968</span><span class='layout'>)</span>
<a name="line-201"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"omega"</span><span class='layout'>,</span> <span class='num'>969</span><span class='layout'>)</span>
<a name="line-202"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"thetasym"</span><span class='layout'>,</span> <span class='num'>977</span><span class='layout'>)</span>
<a name="line-203"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"upsih"</span><span class='layout'>,</span> <span class='num'>978</span><span class='layout'>)</span>
<a name="line-204"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"piv"</span><span class='layout'>,</span> <span class='num'>982</span><span class='layout'>)</span>
<a name="line-205"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"bull"</span><span class='layout'>,</span> <span class='num'>8226</span><span class='layout'>)</span>
<a name="line-206"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"hellip"</span><span class='layout'>,</span> <span class='num'>8230</span><span class='layout'>)</span>
<a name="line-207"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"prime"</span><span class='layout'>,</span> <span class='num'>8242</span><span class='layout'>)</span>
<a name="line-208"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"Prime"</span><span class='layout'>,</span> <span class='num'>8243</span><span class='layout'>)</span>
<a name="line-209"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"oline"</span><span class='layout'>,</span> <span class='num'>8254</span><span class='layout'>)</span>
<a name="line-210"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"frasl"</span><span class='layout'>,</span> <span class='num'>8260</span><span class='layout'>)</span>
<a name="line-211"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"weierp"</span><span class='layout'>,</span> <span class='num'>8472</span><span class='layout'>)</span>
<a name="line-212"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"image"</span><span class='layout'>,</span> <span class='num'>8465</span><span class='layout'>)</span>
<a name="line-213"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"real"</span><span class='layout'>,</span> <span class='num'>8476</span><span class='layout'>)</span>
<a name="line-214"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"trade"</span><span class='layout'>,</span> <span class='num'>8482</span><span class='layout'>)</span>
<a name="line-215"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"alefsym"</span><span class='layout'>,</span> <span class='num'>8501</span><span class='layout'>)</span>
<a name="line-216"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"larr"</span><span class='layout'>,</span> <span class='num'>8592</span><span class='layout'>)</span>
<a name="line-217"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"uarr"</span><span class='layout'>,</span> <span class='num'>8593</span><span class='layout'>)</span>
<a name="line-218"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rarr"</span><span class='layout'>,</span> <span class='num'>8594</span><span class='layout'>)</span>
<a name="line-219"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"darr"</span><span class='layout'>,</span> <span class='num'>8595</span><span class='layout'>)</span>
<a name="line-220"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"harr"</span><span class='layout'>,</span> <span class='num'>8596</span><span class='layout'>)</span>
<a name="line-221"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"crarr"</span><span class='layout'>,</span> <span class='num'>8629</span><span class='layout'>)</span>
<a name="line-222"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lArr"</span><span class='layout'>,</span> <span class='num'>8656</span><span class='layout'>)</span>
<a name="line-223"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"uArr"</span><span class='layout'>,</span> <span class='num'>8657</span><span class='layout'>)</span>
<a name="line-224"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rArr"</span><span class='layout'>,</span> <span class='num'>8658</span><span class='layout'>)</span>
<a name="line-225"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"dArr"</span><span class='layout'>,</span> <span class='num'>8659</span><span class='layout'>)</span>
<a name="line-226"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"hArr"</span><span class='layout'>,</span> <span class='num'>8660</span><span class='layout'>)</span>
<a name="line-227"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"forall"</span><span class='layout'>,</span> <span class='num'>8704</span><span class='layout'>)</span>
<a name="line-228"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"part"</span><span class='layout'>,</span> <span class='num'>8706</span><span class='layout'>)</span>
<a name="line-229"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"exist"</span><span class='layout'>,</span> <span class='num'>8707</span><span class='layout'>)</span>
<a name="line-230"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"empty"</span><span class='layout'>,</span> <span class='num'>8709</span><span class='layout'>)</span>
<a name="line-231"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"nabla"</span><span class='layout'>,</span> <span class='num'>8711</span><span class='layout'>)</span>
<a name="line-232"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"isin"</span><span class='layout'>,</span> <span class='num'>8712</span><span class='layout'>)</span>
<a name="line-233"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"notin"</span><span class='layout'>,</span> <span class='num'>8713</span><span class='layout'>)</span>
<a name="line-234"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ni"</span><span class='layout'>,</span> <span class='num'>8715</span><span class='layout'>)</span>
<a name="line-235"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"prod"</span><span class='layout'>,</span> <span class='num'>8719</span><span class='layout'>)</span>
<a name="line-236"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sum"</span><span class='layout'>,</span> <span class='num'>8721</span><span class='layout'>)</span>
<a name="line-237"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"minus"</span><span class='layout'>,</span> <span class='num'>8722</span><span class='layout'>)</span>
<a name="line-238"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lowast"</span><span class='layout'>,</span> <span class='num'>8727</span><span class='layout'>)</span>
<a name="line-239"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"radic"</span><span class='layout'>,</span> <span class='num'>8730</span><span class='layout'>)</span>
<a name="line-240"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"prop"</span><span class='layout'>,</span> <span class='num'>8733</span><span class='layout'>)</span>
<a name="line-241"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"infin"</span><span class='layout'>,</span> <span class='num'>8734</span><span class='layout'>)</span>
<a name="line-242"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ang"</span><span class='layout'>,</span> <span class='num'>8736</span><span class='layout'>)</span>
<a name="line-243"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"and"</span><span class='layout'>,</span> <span class='num'>8743</span><span class='layout'>)</span>
<a name="line-244"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"or"</span><span class='layout'>,</span> <span class='num'>8744</span><span class='layout'>)</span>
<a name="line-245"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"cap"</span><span class='layout'>,</span> <span class='num'>8745</span><span class='layout'>)</span>
<a name="line-246"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"cup"</span><span class='layout'>,</span> <span class='num'>8746</span><span class='layout'>)</span>
<a name="line-247"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"int"</span><span class='layout'>,</span> <span class='num'>8747</span><span class='layout'>)</span>
<a name="line-248"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"there4"</span><span class='layout'>,</span> <span class='num'>8756</span><span class='layout'>)</span>
<a name="line-249"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sim"</span><span class='layout'>,</span> <span class='num'>8764</span><span class='layout'>)</span>
<a name="line-250"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"cong"</span><span class='layout'>,</span> <span class='num'>8773</span><span class='layout'>)</span>
<a name="line-251"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"asymp"</span><span class='layout'>,</span> <span class='num'>8776</span><span class='layout'>)</span>
<a name="line-252"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ne"</span><span class='layout'>,</span> <span class='num'>8800</span><span class='layout'>)</span>
<a name="line-253"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"equiv"</span><span class='layout'>,</span> <span class='num'>8801</span><span class='layout'>)</span>
<a name="line-254"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"le"</span><span class='layout'>,</span> <span class='num'>8804</span><span class='layout'>)</span>
<a name="line-255"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"ge"</span><span class='layout'>,</span> <span class='num'>8805</span><span class='layout'>)</span>
<a name="line-256"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sub"</span><span class='layout'>,</span> <span class='num'>8834</span><span class='layout'>)</span>
<a name="line-257"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sup"</span><span class='layout'>,</span> <span class='num'>8835</span><span class='layout'>)</span>
<a name="line-258"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"nsub"</span><span class='layout'>,</span> <span class='num'>8836</span><span class='layout'>)</span>
<a name="line-259"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sube"</span><span class='layout'>,</span> <span class='num'>8838</span><span class='layout'>)</span>
<a name="line-260"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"supe"</span><span class='layout'>,</span> <span class='num'>8839</span><span class='layout'>)</span>
<a name="line-261"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"oplus"</span><span class='layout'>,</span> <span class='num'>8853</span><span class='layout'>)</span>
<a name="line-262"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"otimes"</span><span class='layout'>,</span> <span class='num'>8855</span><span class='layout'>)</span>
<a name="line-263"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"perp"</span><span class='layout'>,</span> <span class='num'>8869</span><span class='layout'>)</span>
<a name="line-264"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"sdot"</span><span class='layout'>,</span> <span class='num'>8901</span><span class='layout'>)</span>
<a name="line-265"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lceil"</span><span class='layout'>,</span> <span class='num'>8968</span><span class='layout'>)</span>
<a name="line-266"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rceil"</span><span class='layout'>,</span> <span class='num'>8969</span><span class='layout'>)</span>
<a name="line-267"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lfloor"</span><span class='layout'>,</span> <span class='num'>8970</span><span class='layout'>)</span>
<a name="line-268"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rfloor"</span><span class='layout'>,</span> <span class='num'>8971</span><span class='layout'>)</span>
<a name="line-269"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"lang"</span><span class='layout'>,</span> <span class='num'>9001</span><span class='layout'>)</span>
<a name="line-270"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"rang"</span><span class='layout'>,</span> <span class='num'>9002</span><span class='layout'>)</span>
<a name="line-271"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"loz"</span><span class='layout'>,</span> <span class='num'>9674</span><span class='layout'>)</span>
<a name="line-272"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"spades"</span><span class='layout'>,</span> <span class='num'>9824</span><span class='layout'>)</span>
<a name="line-273"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"clubs"</span><span class='layout'>,</span> <span class='num'>9827</span><span class='layout'>)</span>
<a name="line-274"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"hearts"</span><span class='layout'>,</span> <span class='num'>9829</span><span class='layout'>)</span>
<a name="line-275"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>"diams"</span><span class='layout'>,</span> <span class='num'>9830</span><span class='layout'>)</span>
<a name="line-276"></a> <span class='keyglyph'>]</span>
<a name="line-277"></a>
<a name="line-278"></a><span class='comment'>-- ------------------------------------------------------------</span>
</pre></body>
</html>