# Wolfram Language & System 11.0 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.
WOLFRAM LANGUAGE INTERPRETER TYPE

# "MathFormula" (interpreter type)

Mathematical formula in natural language.

## Allowed FormsAllowed Forms

• Any free-form mathematical equality or inequality:
•  3 x^2 - x + 2 == 0 polynomial equations cos(y) = sqrt(3)/2 equations involving any mathematical function 2^45 > 15! inequalities

## Restriction SpecificationsRestriction Specifications

•  Restricted["MathFormula",{{choice1,…}}] one among choices Restricted["MathFormula",symbols] a formula involving only the given symbols (All, Automatic, or an explicit list) Restricted["MathFormula",symbols,contexts] a formula involving only the given symbols or symbols in the given contexts (All, Automatic, or an explicit list) Restricted["MathFormula",symbols,contexts,resultcontext] a formula involving only the given symbols or symbols in the given contexts, where the new symbols are created in resultcontext

## ExamplesExamplesopen allclose all

### Basic Examples  (7)Basic Examples  (7)

Interpret mathematical formulas:

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=

The resulting formula evaluates, which may lead to a Boolean result:

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=

Restrict to a list of choices:

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=

By default, all symbols are allowed. Restrict to a list of allowed symbols:

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=

By default, new symbols are created in \$Context, but a custom context can be specified:

 In[1]:=
 Out[1]=
 Out[1]=
 In[2]:=
 Out[2]=
 Out[2]=

Specify contexts for the allowed and output symbols:

 In[1]:=
 Out[1]=
 Out[1]=

Prevent the creation of any new symbol:

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=