1<html>
2<!-- the original document had � - I changed that to &ndash; - then &#150; -->
3<head>
4<title>[ #445557 ] Convert Symbol font chars to Unicode</title>
5</head>
6<body> 
7<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>
8<P>P(x)&#9;&#150; proposition &#150; a logical statement in the condition x.</P>
9<P>x&#9;&#150; any condition <B>in the set of possible conditions</B>.</P>
10<P>c&#9;&#150; a particular condition <B>in the set of possible conditions</B>.</P>
11<P><FONT FACE="Symbol">&#34;</FONT>
12&#9;&#150; &quot;For every&quot;</P>
13<P><FONT FACE="Symbol">&#36;</FONT>
14&#9;&#150; &quot;Exists&quot;</P>
15<P><FONT FACE="Symbol">&#174;</FONT>
16&#9;&#150; Implication</P>
17<P><FONT FACE="Symbol">&#217;</FONT>
18&#9;&#150; Conjunction (logical and)</P>
19<P><FONT FACE="Symbol">&#218;</FONT>
20&#9;&#150; Disjunction (logical or)</P>
21</body> 
22</html>
23