tidy-html5/regression_testing/cases/legacy-cases/case-445557@1.html
Jim Derry 5a1b65d089 Move the testing repository back into the Tidy codebase.
Automate testing of any PR's.
Updated README's explaining new processes.
2021-05-21 10:43:35 -04:00

23 lines
944 B
HTML
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<html>
<!-- the original document had - I changed that to &ndash; - then &#150; -->
<head>
<title>[ #445557 ] Convert Symbol font chars to Unicode</title>
</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)&#9;&#150; proposition &#150; a logical statement in the condition x.</P>
<P>x&#9;&#150; any condition <B>in the set of possible conditions</B>.</P>
<P>c&#9;&#150; a particular condition <B>in the set of possible conditions</B>.</P>
<P><FONT FACE="Symbol">&#34;</FONT>
&#9;&#150; &quot;For every&quot;</P>
<P><FONT FACE="Symbol">&#36;</FONT>
&#9;&#150; &quot;Exists&quot;</P>
<P><FONT FACE="Symbol">&#174;</FONT>
&#9;&#150; Implication</P>
<P><FONT FACE="Symbol">&#217;</FONT>
&#9;&#150; Conjunction (logical and)</P>
<P><FONT FACE="Symbol">&#218;</FONT>
&#9;&#150; Disjunction (logical or)</P>
</body>
</html>