tidy-html5/test/testbase/out_445557.html

29 lines
1,008 B
HTML
Raw Normal View History

2015-05-13 11:38:40 +00:00
<!DOCTYPE html>
<html>
<!-- the original document had  - I changed that to &ndash; - then &#150; -->
<head>
<title>[ #445557 ] Convert Symbol font chars to Unicode</title>
<style type="text/css">
span.c1 {font-family: Symbol}
</style>
</head>
<body>
<p>The predicate calculus has a number of theorems and axioms for
proving logical statements. Here are the main symbols used in
predicate calculus:</p>
<p>P(x) &#8211; proposition &#8211; a logical statement in the
condition x.</p>
<p>x &#8211; any condition <strong>in the set of possible
conditions</strong>.</p>
<p>c &#8211; a particular condition <strong>in the set of
possible conditions</strong>.</p>
<p><span class="c1">"</span> &#8211; "For every"</p>
<p><span class="c1">$</span> &#8211; "Exists"</p>
<p><span class="c1"><EFBFBD></span> &#8211; Implication</p>
<p><span class="c1"><EFBFBD></span> &#8211; Conjunction (logical
and)</p>
<p><span class="c1"><EFBFBD></span> &#8211; Disjunction (logical
or)</p>
</body>
</html>