<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Symbol (formal) - Page 2 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=symbol_(formal)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=symbol_%28formal%29&amp;p=3">3.Next</a>
</p>
<p>and <a href="page.php?w=logic">logic</a>, the term symbol refers to the idea, and the marks are considered to be a <a href="page.php?w=type-token_distinction">token</a> instance of the symbol. In logic, symbols build literal utility to illustrate ideas.</p>

<p><big>Overview</big></p>
<p>Symbols of a formal language need not be symbols of anything. For instance there are <a href="page.php?w=logical_constant">logical constant</a>s which do not refer to any idea, but  rather serve as a form of punctuation in the language (e.g. parentheses). Symbols of a</p><p>
<a accesskey="1" href="page.php?w=symbol_(formal)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=symbol_%28formal%29&amp;p=3">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
