\Spec | spec |
\End | end |
\Group | { |
\EndGroup | } |
\And | and |
\Then | then |
\Free | free | ||
\Local | local |
\Within | within |
\Closed | closed | ||
\Hide | hide |
\Reveal | reveal |
\With | with |
\mapsto | |-> |
\Given | given |
\Fit | fit |
\View | view |
\To | to |