You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
772 B
HTML
20 lines
772 B
HTML
3 months ago
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
|
||
|
|
"http://www.w3.org/TR/html4/loose.dtd">
|
||
|
|
<html >
|
||
|
|
<head><title></title>
|
||
|
|
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
|
||
|
|
<meta name="generator" content="TeX4ht (https://tug.org/tex4ht/)">
|
||
|
|
<meta name="originator" content="TeX4ht (https://tug.org/tex4ht/)">
|
||
|
|
<!-- html,3 -->
|
||
|
|
<meta name="src" content="userhtml.tex">
|
||
|
|
<link rel="stylesheet" type="text/css" href="userhtml.css">
|
||
|
|
</head><body
|
||
|
|
>
|
||
|
|
<div class="footnote-text">
|
||
|
|
<!--l. 72--><p class="indent" > <span class="footnote-mark"><a
|
||
|
|
id="fn4x0"><a
|
||
|
|
id="x16-136002x10.1"></a> <sup class="textsuperscript">4</sup></a></span><span
|
||
|
|
class="cmr-8">The string is case-insensitive</span></div>
|
||
|
|
|
||
|
|
</body></html>
|