the Model
Editor, or on its own page, depending on how the user has configured the Toolbox
<a href="executing-tlc.html#preferences">via the preferences.</a>
</p>

<p>
Entering a constant expression in the <em>Expression</em>
field of this section, and selecting the toggle button above and to the right
of this field, will cause the value of
that expression to appear in the <em>Value</em> field when TLC is run.&nbsp;
The expression can use any constant operators defined or declared in
the spec or e