</li>
<li><dfn>Session properties</dfn> control aspects of the workflow or
configuration that pertain to the current session only. You can find them
- in <kbd class="menu">Session &t; Properties</kbd>, and they will be stored
+ in <kbd class="menu">Session > Properties</kbd>, and they will be stored
in the session file.
</li>
</ul>