<html> <!-- the original document had – - I changed that to – - then – --> <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)	– proposition – a logical statement in the condition x.</P> <P>x	– any condition <B>in the set of possible conditions</B>.</P> <P>c	– a particular condition <B>in the set of possible conditions</B>.</P> <P><FONT FACE="Symbol">"</FONT> 	– "For every"</P> <P><FONT FACE="Symbol">$</FONT> 	– "Exists"</P> <P><FONT FACE="Symbol">®</FONT> 	– Implication</P> <P><FONT FACE="Symbol">Ù</FONT> 	– Conjunction (logical and)</P> <P><FONT FACE="Symbol">Ú</FONT> 	– Disjunction (logical or)</P> </body> </html>